research
∙
07/12/2023
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions
Zero-knowledge proof (ZKP) frameworks have the potential to revolutioniz...
share
research
∙
06/13/2023
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Effectively specifying and implementing robotic missions pose a set of c...
research
∙
03/31/2023
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Contract-based design is a method to facilitate modular system design. W...
research
∙
02/27/2023
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
We propose a context-sensitive grammar for the systematic exploration of...
research
∙
11/21/2022