Enrico Steffinlongo

According to our database, Enrico Steffinlongo authored at least 10 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption.

Hamish Hunt, Jack L. H. Crawford, Oliver Masters, Enrico Steffinlongo, Flávio Bergamaschi

IACR Cryptol. ePrint Arch., 2020

2019

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

Oliver Masters, Hamish Hunt, Enrico Steffinlongo, Jack L. H. Crawford, Flávio Bergamaschi

IACR Cryptol. ePrint Arch., 2019

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

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole

CoRR, 2019

SMT-based refutation of spurious bug reports in the clang static analyzer.

Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2017

Efficient security analysis of administrative access control policies.

Enrico Steffinlongo

PhD thesis, 2017

2016

DAPA: Degradation-Aware Privacy Analysis of Android Apps.

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems.

Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions.

Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo

Proceedings of the Programming Languages and Systems, 2015

2012

Writing Real-Time .Net Games in Casanova.

Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi

Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012

A formal specification for casanova, a language for computer games.

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012