research
∙
06/03/2022
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
In many Internet of Things (IoT) applications, data sensed by an IoT dev...
share
research
∙
06/09/2021
Verification of a Merkle Patricia Tree Library Using F*
A Merkle tree is a data structure for representing a key-value store as ...
research
∙
10/19/2020
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE
We present Virtual Secure Platform (VSP), the first comprehensive platfo...
research
∙
03/05/2019
