research
∙
07/26/2023
TT^_𝒞: a Family of Extensional Type Theories with Effectful Realizers of Continuity
TT^_𝒞 is a generic family of effectful, extensional type theories with a...
share
research
∙
07/09/2023
Intrusion Resilience Systems for Modern Vehicles
Current vehicular Intrusion Detection and Prevention Systems either incu...
research
∙
04/08/2021
Practical Byzantine Reliable Broadcast on Partially Connected Networks
In this paper, we consider the Byzantine reliable broadcast problem on a...
research
∙
07/21/2020