Enrico Steffinlongo

According to our database1, Enrico Steffinlongo authored at least 9 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption.
IACR Cryptol. ePrint Arch., 2020

2019
Towards a Homomorphic Machine Learning Big Data Pipeline for the Financial Services Sector.
IACR Cryptol. ePrint Arch., 2019

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

SMT-based refutation of spurious bug reports in the clang static analyzer.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2016
DAPA: Degradation-Aware Privacy Analysis of Android Apps.
Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions.
Proceedings of the Programming Languages and Systems, 2015

2012
Writing Real-Time .Net Games in Casanova.
Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012

A formal specification for casanova, a language for computer games.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012


  Loading...