Zobrazeno 1 - 10
of 161
pro vyhledávání: '"Focardi, Riccardo"'
Techniques for verifying or invalidating the security of computer systems have come a long way in recent years. Extremely sophisticated tools are available to specify and formally verify the behavior of a system and, at the same time, attack techniqu
Externí odkaz:
http://arxiv.org/abs/2404.09518
Autor:
Focardi, Riccardo, Luccio, Flaminia L.
Hardware Security Modules (HSMs) are trusted machines that perform sensitive operations in critical ecosystems. They are usually required by law in financial and government digital services. The most important feature of an HSM is its ability to stor
Externí odkaz:
http://arxiv.org/abs/2109.13631
Session management is a fundamental component of web applications: despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the large number of existing attacks. This motivated the design of formal met
Externí odkaz:
http://arxiv.org/abs/2001.10405
Autor:
Calzavara, Stefano, Focardi, Riccardo, Maffei, Matteo, Schneidewind, Clara, Squarcina, Marco, Tempesta, Mauro
We present WPSE, a browser-side security monitor for web protocols designed to ensure compliance with the intended protocol flow, as well as confidentiality and integrity properties of messages. We formally prove that WPSE is expressive enough to pro
Externí odkaz:
http://arxiv.org/abs/1806.09111
Publikováno v:
In Journal of Information Security and Applications October 2019 48
Publikováno v:
Proceedings of the 8th International Conference on Information Systems Security and Privacy.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ad65ddfc9ea190d9fc883ce30f4f917
https://doi.org/10.5220/0010904300003120
https://doi.org/10.5220/0010904300003120