Vajra: Endpoints security solution

Physical Unclonable Functions for Smart Applications

Explaining Decision Making in (Semi) Autonomous Vehicles

Certified Information Flow Security

Game theoretic viewpoint of communication in the presence of an adversary

Information in Socio-Technical Systems

End Point Detection and Response for Linux Systems

Configurable Access Control Policy Implementation for Complex Online Applications

Differential Privacy

MEGA-ACE

Complexity Theory and Cryptography

mpC: A Programming Language for Multi-Party Computation

Secure Multi-Party Computation

Improving computation and reducing confirmation latency in Proof-of-Work blockchains

IoT Security

Scaling Fabric

Proof of Reserves Protocols for Cryptocurrency Exchanges

Microarchitecture Security

Virtual Labs