| 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 | 48 | 2019 |
| 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 | 24 | 2019 |
| 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 | 20 | 2012 |
| Weighted partial matching under homomorphic encryption OP Masters, HC Hunt, FA Bergamaschi, E Steffinlongo US Patent 11,239,996, 2022 | 19 | 2022 |
| 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 | 18 | 2015 |
| 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 | 12 | 2016 |
| 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 | 6 | 2016 |
| 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 | 5 | 2019 |
| 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 | 4 | 2012 |
| 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 |
