Enrico Steffinlongo
Cited by
Cited by
A formal specification for casanova, a language for computer games
G Maggiore, A Spanò, R Orsini, M Bugliesi, M Abbadi, E Steffinlongo
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
DAPA: degradation-aware privacy analysis of android apps
G Barbon, A Cortesi, P Ferrara, E Steffinlongo
International Workshop on Security and Trust Management, 32-46, 2016
Towards a homomorphic machine learning big data pipeline for the financial services sector
O Masters, H Hunt, E Steffinlongo, J Crawford, F Bergamaschi, MED Rosa, ...
Cryptology ePrint Archive, 2019
Fine-grained detection of privilege escalation attacks on browser extensions
S Calzavara, M Bugliesi, S Crafa, E Steffinlongo
European Symposium on Programming Languages and Systems, 510-534, 2015
SMT-based refutation of spurious bug reports in the clang static analyzer
MR Gadelha, E Steffinlongo, LC Cordeiro, B Fischer, D Nicole
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
Static detection of collusion attacks in ARBAC-based workflow systems
S Calzavara, A Rabitti, E Steffinlongo, M Bugliesi
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 458-470, 2016
Writing real-time. net games in casanova
G Maggiore, P Spronck, R Orsini, M Bugliesi, E Steffinlongo, M Abbadi
International Conference on Entertainment Computing, 341-348, 2012
Homomorphically Securing AI at the Edge
J Naucke, H Hunt, J Crawford, E Steffinlongo, O Masters, F Bergamaschi
Proceedings of the First International Workshop on Challenges in Artificial …, 2019
Weighted partial matching under homomorphic encryption
OP Masters, HC Hunt, FA Bergamaschi, E Steffinlongo
US Patent App. 16/719,056, 2021
Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption.
H Hunt, J Crawford, O Masters, E Steffinlongo, F Bergamaschi
IACR Cryptol. ePrint Arch. 2020, 964, 2020
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space
MR Gadelha, FR Monteiro, E Steffinlongo, LC Cordeiro, DA Nicole
arXiv preprint arXiv:1904.02501, 2019
Efficient security analysis of administrative access control policies
E Steffinlongo
Università Ca'Foscari Venezia, 2018
Privilege separation in browser architectures
E Steffinlongo
Università Ca'Foscari Venezia, 2014
The system can't perform the operation now. Try again later.
Articles 1–13