According to our database1, Enrico Steffinlongo authored at least 9 papers between 2012 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption.
IACR Cryptol. ePrint Arch., 2020
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.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the Security and Trust Management - 12th International Workshop, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012