XMPP standard is a perfect match to leverage and secure the IoT world by letting devices behave just as your friends we can control which devices that can talk to each other and with a defined xml language the device get interoperable over domain borders.
It's time to scale way back on those support tickets from your branch users. Security shouldn’t come at the cost of performance. Register now to attend a live demo. You may be eligible to receive a free SRX!
https://www.juniper.net/sdwan-thursdays
Learn about Cisco's latest innovations in ethernet switching. Covering Cisco's major Catalyst switching platforms, this presentation will provide you with an overview of Cisco's latest advancements in switching, and how these capabilities can be applied to solve problems in your network environments.
LoRaWAN and 3GPP technologies cover all Industrial IoT use casesErika Gelinard
we examine both Mobile IoT (NB-IoT, Cat-M1, Cat-1) and LoRaWAN, with the objective to demonstrate the complementary aspects of the two technologies. We show how operators tap into unlicensed IoT market space using LoRaWAN and complement it with licensed Mobile IoT.
It's time to scale way back on those support tickets from your branch users. Security shouldn’t come at the cost of performance. Register now to attend a live demo. You may be eligible to receive a free SRX!
https://www.juniper.net/sdwan-thursdays
Learn about Cisco's latest innovations in ethernet switching. Covering Cisco's major Catalyst switching platforms, this presentation will provide you with an overview of Cisco's latest advancements in switching, and how these capabilities can be applied to solve problems in your network environments.
LoRaWAN and 3GPP technologies cover all Industrial IoT use casesErika Gelinard
we examine both Mobile IoT (NB-IoT, Cat-M1, Cat-1) and LoRaWAN, with the objective to demonstrate the complementary aspects of the two technologies. We show how operators tap into unlicensed IoT market space using LoRaWAN and complement it with licensed Mobile IoT.
Plenary talk by Ori Gerstel at ACP13 on IP-optical collaborationOri Gerstel
* What are the challenges in core optical networks today?
* The key role of multi-layer interworking in addressing these challenges
* How will multi-layer SDN help and how it relates to the control plane?
Product Guide to Converged Networks and Data Center Switching. A comprehensive offer by Alcatel-Lucent Enterprise.
Para más información visite: https://www.ez-tech.com.mx/Alcatel-Lucent/
Designing LoRaWAN for dense IoT deployments webinarActility
As more and more IoT devices are being added to the network in increasingly massive deployments, it is important to design IoT networks from the beginning to meet the scalability requirements of the future.
In this webinar, Actility’s Olivier Hersent and Rohit Gupta welcome special guest Bill Versteeg of JumpStartIoT.com to reveal various solutions based on learnings from Actility’s deployments that can be used to design LoRaWANs for scalability. They will also explore how densification leads to lower power consumption by end devices, resulting in dramatic reduction in TCO for the end customer. Last but not least, you will discover how operators, whether mobile or fixed, can leverage their assets to deploy low-cost LoRaWAN picocells. Discover:
Why adaptive data rate is key to LoRaWAN scaling
How combining macro and picocells delivers coverage AND capacity
The dramatic impact of network densification on capacity and device TCO
Why micro-cellular networks are the future of LoRaWAN
How to deploy coverage for a real-world water metering application
Alcatel-Lucent Enterprise provides exceptional value in highly available, secure and easy-to manage IP networks with a comprehensive, standards-based product portfolio.
https://offer-guide.enterprise.alcatel-lucent.com/
Experiences are everything and Juniper knows this. From when a user engages with an app on their smartphone to when a workload is generated in the cloud to pick up the request, we know that every point of contact along the way impacts the user’s experience, from client to cloud. Learn more about what Juniper has recently announced in this SlideShare!
Are you facing some, or all, of these challenges?
-Host Mobility (w/o stretching VLANs)
-Network Segmentation (w/o implementing MPLS)
-Roles-based Access Control (w/o end-to-end TrustSec)
-Common Policy for Wired and Wireless (w/o multiple tools)
Using Cisco technologies already available today, you can overcome these challenges and build an evolved Campus network to better meet your business objectives.
Hartmut Schroeder, Consultant Systems Engineer, Juniper Networks
Virtualization Forum 2014, Prague, 22.10.2014
Jestliže SlideShare nezobrazí prezentaci korektně, můžete si ji stáhnout ve formátu .ppsx nebo .pdf (kliknutím na tlačitko v dolní liště snímků).
Are you able to deliver reliable experiences for connected devicesJuniper Networks
Here are 5 things you can do with Mist Wired Assurance. With Wired Assurance, you can leverage Juniper EX switch telemetry to enable simpler operations, shorter mean time to repair, and better visibility into end-user experiences for your connected devices, including access points, servers, and IoT endpoints.
As much the workforce continues to work remotely, The COVID-19 Pandemic has taught us that the WAN is more important than ever, and troubleshooting it couldn’t be more difficult. Learn how MARVIS & Mist AI simplify the burdensome process of troubleshooting the WAN.
Juniper Networks is introducing the fourth expansion of the AI-driven enterprise to bring artificial intelligence to the LAN, WLAN and now WAN for end-to-end optimization of user experiences and proactive troubleshooting driven by Mist AI.
With the new Juniper Mist WAN Assurance service, customers will receive even better automation and insight in branch locations with AI-driven service level expectations, client-to-cloud event correlation for rapid fault resolution, anomaly detection, and proactive support.
gogonetlive 4 conference keynote on Internet of ThingsJoachim Lindborg
In this keynote session I talk about IP as a driver for internet of things and that Internet of things will drive the IPv6 usage forward. presentation held at http://gogonetlive.com/gogonetlive-speakers.asp
Plenary talk by Ori Gerstel at ACP13 on IP-optical collaborationOri Gerstel
* What are the challenges in core optical networks today?
* The key role of multi-layer interworking in addressing these challenges
* How will multi-layer SDN help and how it relates to the control plane?
Product Guide to Converged Networks and Data Center Switching. A comprehensive offer by Alcatel-Lucent Enterprise.
Para más información visite: https://www.ez-tech.com.mx/Alcatel-Lucent/
Designing LoRaWAN for dense IoT deployments webinarActility
As more and more IoT devices are being added to the network in increasingly massive deployments, it is important to design IoT networks from the beginning to meet the scalability requirements of the future.
In this webinar, Actility’s Olivier Hersent and Rohit Gupta welcome special guest Bill Versteeg of JumpStartIoT.com to reveal various solutions based on learnings from Actility’s deployments that can be used to design LoRaWANs for scalability. They will also explore how densification leads to lower power consumption by end devices, resulting in dramatic reduction in TCO for the end customer. Last but not least, you will discover how operators, whether mobile or fixed, can leverage their assets to deploy low-cost LoRaWAN picocells. Discover:
Why adaptive data rate is key to LoRaWAN scaling
How combining macro and picocells delivers coverage AND capacity
The dramatic impact of network densification on capacity and device TCO
Why micro-cellular networks are the future of LoRaWAN
How to deploy coverage for a real-world water metering application
Alcatel-Lucent Enterprise provides exceptional value in highly available, secure and easy-to manage IP networks with a comprehensive, standards-based product portfolio.
https://offer-guide.enterprise.alcatel-lucent.com/
Experiences are everything and Juniper knows this. From when a user engages with an app on their smartphone to when a workload is generated in the cloud to pick up the request, we know that every point of contact along the way impacts the user’s experience, from client to cloud. Learn more about what Juniper has recently announced in this SlideShare!
Are you facing some, or all, of these challenges?
-Host Mobility (w/o stretching VLANs)
-Network Segmentation (w/o implementing MPLS)
-Roles-based Access Control (w/o end-to-end TrustSec)
-Common Policy for Wired and Wireless (w/o multiple tools)
Using Cisco technologies already available today, you can overcome these challenges and build an evolved Campus network to better meet your business objectives.
Hartmut Schroeder, Consultant Systems Engineer, Juniper Networks
Virtualization Forum 2014, Prague, 22.10.2014
Jestliže SlideShare nezobrazí prezentaci korektně, můžete si ji stáhnout ve formátu .ppsx nebo .pdf (kliknutím na tlačitko v dolní liště snímků).
Are you able to deliver reliable experiences for connected devicesJuniper Networks
Here are 5 things you can do with Mist Wired Assurance. With Wired Assurance, you can leverage Juniper EX switch telemetry to enable simpler operations, shorter mean time to repair, and better visibility into end-user experiences for your connected devices, including access points, servers, and IoT endpoints.
As much the workforce continues to work remotely, The COVID-19 Pandemic has taught us that the WAN is more important than ever, and troubleshooting it couldn’t be more difficult. Learn how MARVIS & Mist AI simplify the burdensome process of troubleshooting the WAN.
Juniper Networks is introducing the fourth expansion of the AI-driven enterprise to bring artificial intelligence to the LAN, WLAN and now WAN for end-to-end optimization of user experiences and proactive troubleshooting driven by Mist AI.
With the new Juniper Mist WAN Assurance service, customers will receive even better automation and insight in branch locations with AI-driven service level expectations, client-to-cloud event correlation for rapid fault resolution, anomaly detection, and proactive support.
gogonetlive 4 conference keynote on Internet of ThingsJoachim Lindborg
In this keynote session I talk about IP as a driver for internet of things and that Internet of things will drive the IPv6 usage forward. presentation held at http://gogonetlive.com/gogonetlive-speakers.asp
Presentation about XSF & how to create an XMPP Standard Track Protocol Extension for the ISO/IEC/IEEE Smart Transducer Interface Standard working group, for sensors, actuators and network devices (XMPP protocol)
With the increase of popularity of the Cloud Computing, we propose an XMPP-based approach for the development and implementation of Cloud services.
XMPP offers many advantages over a basic HTTP+REST approach, allowing easy access to distributed and federated environments, real asynchronous services and information push toward consumers without resorting to HTTP tricks like Comet or WebSocket.
Second screen, multi screen using XMPP. What is second screen, why is this popular both for the consumers and for the streaming companies? Why should you use XMPP for doing the second screen experience and why not DIAL or other protocols.
This talk introduces the concepts of web 3.0 technology and how they relate to related technologies such as Internet of Things (IoT), Grid Computing and the Semantic Web:
• A short history of web technologies:
o Web 1.0: Publishing static information with links for human consumption.
o Web 2.0: Publishing dynamic information created by users, for human consumption.
o Web 3.0: Publishing all kinds of information with links between data items, for machine consumption.
• Standardization of protocols for description of any type of data (RDF, N3, Turtle).
• Standardization of protocols for the consumption of data in “the grid” (SPARQL).
• Standardization of protocols for rules (RIF).
• Comparison with the evolution of technologies related to data bases.
• Comparison of IoT solutions based on web 2.0 and web 3.0 technologies.
• Distributed solutions vs centralized solutions..
• Security
• Extensions of Peer-to-peer protocols (XMPP).
• Advantages of solutions based on web 3.0 and standards (IETF, XSF).
Duration of talk: 1-2 hours with questions.
Intelligent Internet of Things (IIoT): System Architectures and CommunicationsRaghu Nandy
Internet of Things (IoT) can be designed by various approaches with optimistic technology choices. This paper focuses on comparing recent studies on architectural choices and communication approaches for IoT Systems. Understanding Goals of an IoT system and inventing a general prototype for general IoT solutions is unique challenging. Existing research prototypes provide us information about IoT systems and their challenges. Existing architectures and communication approaches such as such as Service Oriented Architecture (SOA), Instant Messaging (XMPP) and Web- Sockets Service can be used to develop a general IoT System prototype. SOA provides centralized/decentralized IoT systems. Instant Message services such as XMPP can be used to build distributed and secure IoT platforms. Web-sockets also used to build scalable IoT systems. Over all the choice depends on IoT system Goal and limitations. Intelligent IoT (IIoT) Systems can be seen as decision making system. IoT systems can be built on Cloud infrastructures With Sensor Event as a Service (SEaaS) - Cloud Sensor networks can enable applications to access on demand real-time sensor data. A generic IoT platform can be built and extended to a newer applications and platforms.
Esta charla introduce los conceptos de la tecnología web 3.0 y como se relaciona a tecnologías cercanas como el Internet de las cosas (IoT), “Grid computing” y el “Semantic Web”:
• Un breve historia de las tecnologías web:
o Web 1.0: Publicando información estática con enlaces para el consumo de humanos.
o Web 2.0: Publicando información dinámica creado por los usuarios, para el consumo de humanos.
o Web 3.0: Publicando todo tipo de información con enlaces entre datos, para el consumo de máquinas.
• Estandarización de protocolos para descripción de cualquier tipo de data (RDF, N3, Turtle).
• Estandarización de protocolos para consumación de data en el “grid” (SPARQL).
• Estandarización de protocolos para reglas (RIF).
• Comparación con la evolución de tecnologías relacionado con bases de datos.
• Comparación de soluciones IoT basados en tecnologías web 2.0 y tecnologías web 3.0
• Soluciones distribuidos contra soluciones centralizadas.
• Seguridad
• Extensión a protocolos P2P (XMPP).
• Ventajas de soluciones basadas en web 3.0 y estándares (IETF, XSF).
Fosdem IoT devroom, 2015, open scalable IoT systems with XMPPJoachim Lindborg
The applications in IoT are more and more diverging. every application creates yet another Api, and integrators are creating yet another Api...
using the well known xmpp standard governs for a solution on this.
How Do ‘Things’ Talk? - An Overview of the IoT/M2M Protocol Landscape at IoT ...Christian Götz
Analysts predict that by 2020, 50 billion devices will be connected to the Internet. Together with the fact that more and more of these “things” are connected over cellular networks, new challenges are introduced to the communication of Internet of Things (IoT) and machine-to-machine (M2M) scenarios. There are a lot of protocols which claim to be ideal for these use cases, for example MQTT and CoAP. In this session you will get an overview of commonly used protocols and their underlying architectural styles. We will also look at advantages/disadvantages, use cases and the ecosystem around them.
M2M, IOT, Device Managment: COAP/LWM2M to rule them all?Julien Vermillard
M2M is rapidly growing and since its early days different “standard” protocols have emerged (e.g. OMA-DM, TR-069, MQTT, …) or are emerging (e.g. CoAP or Lightweight M2M).
Understanding which protocol to use for which application can be intimidating, therefore we propose to give an overview of these protocols to help you understand their goals and characteristics.
We’ll present common M2M use cases and why they usually require more than just one protocol ; we will also see whether CoAP associated with Lightweight M2M allows to forge “one protocol to rule them all”.
Engineering
POWERNET has a highly qualified group of engineers, with experience in designing telecommunication
solutions and with capacity to carry out the project and site management in the subsequent development of
the project.
Integration
POWERNET provides an extensive catalogue of cutting-edge, functional and custom-made solutions for your
company’s technological needs, offering the guarantee of an optimal installation and system maintenance
thanks to our constantly improving team of highly qualified professionals.
Singapore_IEEE_power_self-supply_based_on_an_io_t_driven_ platformFrank Alexander Reusch
The energy supply in Germany is changing significantly. All nuclear power plants are closed in 2022 - Renewables are supposed to replace them. The central power supply has to change to a local power self-supply.
Innogy wants to build a platform to offer each customer a tailored solution. A pool of compatible devices that can be assembled flexibly to any solution, describe the path of defining a platform with standardized components, clarify requirements and solutions for cyber security
At Schneider Electric, in the IT Division, our core business has always been focused on delivering the highest level of availability to critical technologies, systems and processes. We’ve done this through our award winning, industry-leading and highest quality products and solutions, including UPS, Cooling, Rack Systems, DCIM and Services.
In this new digital era, we see a world that is always-on.
Always on to meet the needs of the highest notion of “access” to goods and services
Always on to be the solid, reliable foundation of digital transformation for businesses
Our mission is: To empower the digital transformation of our customers by ensuring their critical network, systems and processes are highly available and resilient.
Develop a framework for test execution for a White Box Switch based Packet monitoring product.The framework should enable rapid automation of test cases and should integrate with 3rd party packages.Should reduce the overall
regression test time.
Connect, Secure & Automate the Distribution Grid with CISCO SCADA RTU - Eximp...Bosnia Agile
We are proud to present one of the biggest Innovations in the Energy Utilities sector, developed from scratch to address the Smart Grid challenge of connecting hundreds of thousands of Electrical Secondary Sub-Stations, while ensuring SCADA Automation and Security in each sub-station, all in a cost-effective, easy to manage solution. While traditionally, the SCADA RTU, Router and Firewall components have been thought about as 3 different physical devices, Cisco, together with Eximprod Group, have developed a 3-in-1 device, that encompasses all 3 functionalities. We have named it the Cisco Scada Gateway. As a SCADA RTU, the device works with any SCADA Dispatcher and offers superior RTU functionality. As a Router, the device offers the full functionality of Cisco IOS having the Cisco IR809 as a hardware platform, capable of multi-protocol connectivity, including dual-sim 4G. As a Firewall, the device includes a full-features zone-based firewall solution, to segment and govern network access through the SCADA network.
A New Approach to Continuous Monitoring in the CloudNETSCOUT
In this #CLUS 2019 session, you will learn how NETSCOUT’s smart data platform enables continuous monitoring in hybrid cloud environments to minimize risk and accelerate customer migration to the Cloud. You will review real-life examples of how businesses optimized their Cloud migration gaining visibility and deep insights, in both physical and virtual worlds, to maintain continuity and security of the services throughout the migration process.
Data Center Build services across india , We are the pioneers in data center build as turnkey with very good experience in this field .Data center , networking services from Interprise Innovation Projects India Private limited
Anuta ATOM delivers a modular, extensible, scalable
and cloud-native software platform that enables enterprises and service providers to rapidly design and provision network services, collect real-time telemetry, develop in-depth network
analytics, ensure compliance and provide service assurance for multi-vendor physical and virtual infrastructure. With ATOM, networking teams can deliver services faster, eliminate
human errors, avoid security violations, reduce OpEx and meet SLAs with exceptional high availability.
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...UiPathCommunity
💥 Speed, accuracy, and scaling – discover the superpowers of GenAI in action with UiPath Document Understanding and Communications Mining™:
See how to accelerate model training and optimize model performance with active learning
Learn about the latest enhancements to out-of-the-box document processing – with little to no training required
Get an exclusive demo of the new family of UiPath LLMs – GenAI models specialized for processing different types of documents and messages
This is a hands-on session specifically designed for automation developers and AI enthusiasts seeking to enhance their knowledge in leveraging the latest intelligent document processing capabilities offered by UiPath.
Speakers:
👨🏫 Andras Palfi, Senior Product Manager, UiPath
👩🏫 Lenka Dulovicova, Product Program Manager, UiPath
Removing Uninteresting Bytes in Software FuzzingAftab Hussain
Imagine a world where software fuzzing, the process of mutating bytes in test seeds to uncover hidden and erroneous program behaviors, becomes faster and more effective. A lot depends on the initial seeds, which can significantly dictate the trajectory of a fuzzing campaign, particularly in terms of how long it takes to uncover interesting behaviour in your code. We introduce DIAR, a technique designed to speedup fuzzing campaigns by pinpointing and eliminating those uninteresting bytes in the seeds. Picture this: instead of wasting valuable resources on meaningless mutations in large, bloated seeds, DIAR removes the unnecessary bytes, streamlining the entire process.
In this work, we equipped AFL, a popular fuzzer, with DIAR and examined two critical Linux libraries -- Libxml's xmllint, a tool for parsing xml documents, and Binutil's readelf, an essential debugging and security analysis command-line tool used to display detailed information about ELF (Executable and Linkable Format). Our preliminary results show that AFL+DIAR does not only discover new paths more quickly but also achieves higher coverage overall. This work thus showcases how starting with lean and optimized seeds can lead to faster, more comprehensive fuzzing campaigns -- and DIAR helps you find such seeds.
- These are slides of the talk given at IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2022.
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf91mobiles
91mobiles recently conducted a Smart TV Buyer Insights Survey in which we asked over 3,000 respondents about the TV they own, aspects they look at on a new TV, and their TV buying preferences.
In his public lecture, Christian Timmerer provides insights into the fascinating history of video streaming, starting from its humble beginnings before YouTube to the groundbreaking technologies that now dominate platforms like Netflix and ORF ON. Timmerer also presents provocative contributions of his own that have significantly influenced the industry. He concludes by looking at future challenges and invites the audience to join in a discussion.
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionAggregage
Join Maher Hanafi, VP of Engineering at Betterworks, in this new session where he'll share a practical framework to transform Gen AI prototypes into impactful products! He'll delve into the complexities of data collection and management, model selection and optimization, and ensuring security, scalability, and responsible use.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...DanBrown980551
Do you want to learn how to model and simulate an electrical network from scratch in under an hour?
Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)!
During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook.
PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides:
- A fully editable and extendable library for grid component modelling;
- Visualization tools to display your network;
- Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses;
The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well.
What you will learn during the webinar:
- For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills;
- For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886