Follow
Enrico Steffinlongo
Title
Cited by
Cited by
Year
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
362019
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
202012
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
172019
Fine-grained detection of privilege escalation attacks on browser extensions
S Calzavara, M Bugliesi, S Crafa, E Steffinlongo
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
172015
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
122016
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
62016
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
52019
Writing real-time. net games in casanova
G Maggiore, P Spronck, R Orsini, M Bugliesi, E Steffinlongo, M Abbadi
Entertainment Computing-ICEC 2012: 11th International Conference, ICEC 2012 …, 2012
32012
Weighted partial matching under homomorphic encryption
OP Masters, HC Hunt, FA Bergamaschi, E Steffinlongo
US Patent 11,239,996, 2022
2022
Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption
H Hunt, J Crawford, O Masters, E Steffinlongo, F Bergamaschi
Cryptology ePrint Archive, 2020
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
2019
Efficient security analysis of administrative access control policies
E Steffinlongo
Università Ca'Foscari Venezia, 2018
2018
Privilege separation in browser architectures
E Steffinlongo
Università Ca'Foscari Venezia, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–13