Enrico Steffinlongo  Enrico Steffinlongo photo         

contact information

Research Software Engineer, Emerging Technologies

  

links



2019

Towards a Homomorphic Machine Learning Big Data Pipeline for the Financial Services Sector
Oliver Masters, Hamish Hunt, Enrico Steffinlongo, Jack Crawford, Fl\'{a}vio Bergamaschi
IACR Cryptology ePrint Archive2019, 1113

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, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019., pp. 11--14


2016

Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems
Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi
IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 458--470

DAPA: Degradation-Aware Privacy Analysis of Android Apps
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pp. 32--46


2015

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 510--534


2012

Writing Real-Time .Net Games in Casanova
Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi
Entertainment Computing - ICEC 2012 - 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012. Proceedings, pp. 341--348

A formal specification for casanova, a language for computer games
Giuseppe Maggiore, Alvise Span\`{o}, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012, pp. 287--292