Gabriele Costa

Cosimo Perini Brogi

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

Systems Security Modeling and Analysis at IMT Lucca.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Automating Penetration Testing with MeTeOr.

[BibT_eX]

[DOI]

Michele Cerreta

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2024

2023

Formally verifying security protocols built on watermarking and jamming.

[BibT_eX]

[DOI]

Comput. Secur., May, 2023

LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

NIF: Reactive Injection Attack via Nmap Piggybacking.

[BibT_eX]

[DOI]

Alessandro Bonfiglio

Silvia de Francisci

Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), 2023

Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

Designing a Serious Game for Cybersecurity Education.

[BibT_eX]

[DOI]

Marina Ribaudo

Proceedings of the Software Engineering for Games in Serious Contexts, 2023

2022

Automating the Generation of Cyber Range Virtual Scenarios with VSDL.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2022

HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study.

[BibT_eX]

[DOI]

Raimundas Matulevicius

IEEE Access, 2022

Turning Federated Learning Systems Into Covert Channels.

[BibT_eX]

[DOI]

IEEE Access, 2022

2021

A Protocol for Emotions.

[BibT_eX]

[DOI]

CoRR, 2021

Covert Channel Attack to Federated Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Enhancing Malware Classification with Symbolic Features.

[BibT_eX]

[DOI]

Chinmay Siwach

Rocco De Nicola

Proceedings of the Italian Conference on Cybersecurity, 2021

Damn Vulnerable Application Scanner.

[BibT_eX]

[DOI]

Andrea Valenza

Proceedings of the Italian Conference on Cybersecurity, 2021

2020

WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs.

[BibT_eX]

[DOI]

SoftwareX, 2020

Natural Projection as Partial Model Checking.

[BibT_eX]

[DOI]

J. Autom. Reason., 2020

Why Charles Can Pen-test: an Evolutionary Approach to Vulnerability Testing.

[BibT_eX]

[DOI]

Andrea Valenza

CoRR, 2020

Private-Yet-Verifiable Contact Tracing.

[BibT_eX]

[DOI]

Andrea Canidio

Letterio Galletta

CoRR, 2020

A survey on multi-factor authentication for online banking in the wild.

[BibT_eX]

[DOI]

Comput. Secur., 2020

Building next generation Cyber Ranges with CRACK.

[BibT_eX]

[DOI]

Comput. Secur., 2020

VeriOSS: Using the Blockchain to Foster Bug Bounty Programs.

[BibT_eX]

[DOI]

Andrea Canidio

Letterio Galletta

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

A NERD DOGMA: Introducing CTF to Non-expert Audience.

[BibT_eX]

[DOI]

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

WAF-A-MoLE: evading web application firewalls through adversarial machine learning.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners.

[BibT_eX]

[DOI]

Andrea Valenza

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

2019

MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Emerging Technologies for Authorization and Authentication, 2019

2018

Automatic security verification of mobile app configurations.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

From Natural Projection to Partial Model Checking and Back.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Scenario Design and Validation for Next Generation Cyber Ranges.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

2017

Strong Authentication for e-Banking: A Survey on European Regulations and Implementations.

[BibT_eX]

[DOI]

Federico Sinigaglia

Roberto Carbone

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

PolEnA: Enforcing Fine-grained Permission Policies in Android.

[BibT_eX]

[DOI]

Federico Sinigaglia

Roberto Carbone

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Android vs. SEAndroid: An empirical assessment.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2016

Developing a NATO BYOD security policy.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Military Communications and Information Systems, 2016

FLEX: A Flexible Code Authentication Framework for Delegating Mobile App Customization.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

Formal modeling and automatic enforcement of Bring Your Own Device policies.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2015

SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Android Permissions Unleashed.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

Securing Android with Local Policies.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Mobile App Security Analysis with the MAVeriC Static Analysis Module.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

Securing the "Bring Your Own Device" Paradigm.

[BibT_eX]

[DOI]

Computer, 2014

Enabling BYOD through secure meta-market.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2014

2013

Market-Based Security for Mobile Devices.

[BibT_eX]

[DOI]

Alessio Merlo

Luca Verderame

ERCIM News, 2013

Bring your own device, securely.

[BibT_eX]

[DOI]

Alessio Merlo

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Trustworthy Opportunistic Access to the Internet of Services.

[BibT_eX]

[DOI]

Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Multi-dimensional Secure Service Orchestration.

[BibT_eX]

[DOI]

Artsiom Yautsiukhin

Proceedings of the Business Process Management Workshops, 2013

2012

Securing the "Bring Your Own Device" Policy.

[BibT_eX]

[DOI]

J. Internet Serv. Inf. Secur., 2012

Modular plans for secure service composition.

[BibT_eX]

[DOI]

Pierpaolo Degano

J. Comput. Secur., 2012

Metric-Aware Secure Service Orchestration

[BibT_eX]

[DOI]

Artsiom Yautsiukhin

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Gate automata-driven run-time enforcement.

[BibT_eX]

[DOI]

Ilaria Matteucci

Comput. Math. Appl., 2012

Formal Modeling and Reasoning about the Android Security Framework.

[BibT_eX]

[DOI]

Alessio Merlo

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Lazy Security Controllers.

[BibT_eX]

[DOI]

Giulio Caravagna

Giovanni Pardini

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Lazy Monitoring for Distributed Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012

2011

On the Security of Software Systems and Services.

[BibT_eX]

[DOI]

PhD thesis, 2011

Secure service orchestration in open networks.

[BibT_eX]

[DOI]

Pierpaolo Degano

J. Syst. Archit., 2011

Security and Trust.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Elective temporal logic.

[BibT_eX]

[DOI]

Ilaria Matteucci

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Trust-Driven Policy Enforcement through Gate Automata.

[BibT_eX]

[DOI]

Ilaria Matteucci

Proceedings of the Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2011

2010

Security-by-Contract-with-Trust for Mobile Devices.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2010

Parental Control for Mobile Devices.

[BibT_eX]

[DOI]

ERCIM News, 2010

Runtime monitoring for next generation Java ME platform.

[BibT_eX]

[DOI]

Comput. Secur., 2010

Extending Security-by-Contract with Quantitative Trust on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the CISIS 2010, 2010

2009

Securing Java with Local Policies.

[BibT_eX]

[DOI]

J. Object Technol., 2009

Jalapa: Securing Java with Local Policies: Tool Demonstration.

[BibT_eX]

[DOI]

Massimo Bartoletti