research
∙
09/28/2021
A Formally Verified Configuration for Hardware Security Modules in the Cloud
Hardware Security Modules (HSMs) are trusted machines that perform sensi...
share
research
∙
01/28/2020
Language-Based Web Session Integrity
Session management is a fundamental component of web applications: despi...
research
∙
06/24/2018
