Enrico Steffinlongo

Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption

Hamish Hunt, Jack Crawford, Oliver Masters, 2020, IACR Cryptol. ePrint Arch..

DAPA: Degradation-Aware Privacy Analysis of Android Apps

Agostino Cortesi, Pietro Ferrara, Gianluca Barbon, 2016, STM.

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems

Michele Bugliesi, Stefano Calzavara, Enrico Steffinlongo, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Homomorphically Securing AI at the Edge

Hamish Hunt, Jack Crawford, Oliver Masters, 2019 .

Privilege separation in browser architectures

Enrico Steffinlongo, 2014 .

Towards a Homomorphic Machine Learning Big Data Pipeline for the Financial Services Sector

Hamish Hunt, Oliver Masters, Enrico Steffinlongo, 2019, IACR Cryptol. ePrint Arch..

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space pdf

Lucas C. Cordeiro, Denis A. Nicole, Felipe R. Monteiro, 2019, ArXiv.

A formal specification for casanova, a language for computer games

Giuseppe Maggiore, Michele Bugliesi, Renzo Orsini, 2012, EICS '12.

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

Michele Bugliesi, Silvia Crafa, Stefano Calzavara, 2015, ESOP.

Writing Real-Time .Net Games in Casanova

Giuseppe Maggiore, Michele Bugliesi, Renzo Orsini, 2012, ICEC.

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer, 2018, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).