Enrico Steffinlongo

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 7

Top Topics

Inductive Inference

Digital Entertainment

Financial Services

Top Venues

IACR Cryptol. ePrint Arch.

ICSE (Companion Volume)

Publications

Hamish Hunt, Jack Crawford, Oliver Masters, Enrico Steffinlongo, Flávio Bergamaschi
Configurable Private Querying: Lookup and Partial Matching under Homomorphic Encryption. IACR Cryptol. ePrint Arch. 2020 (2020)
Oliver Masters, Hamish Hunt, Enrico Steffinlongo, Jack Crawford, Flávio Bergamaschi
Towards a Homomorphic Machine Learning Big Data Pipeline for the Financial Services Sector. IACR Cryptol. ePrint Arch. 2019 (2019)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. CoRR (2019)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
SMT-based refutation of spurious bug reports in the clang static analyzer. ICSE (Companion Volume) (2019)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. CoRR (2018)
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM (2016)
Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi
Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems. CSF (2016)
Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. ESOP (2015)
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo
A formal specification for casanova, a language for computer games. EICS (2012)
Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi
Writing Real-Time .Net Games in Casanova. ICEC (2012)