Letterio Galletta

Comput. Secur., 2024

A Policy Framework for Regulating External Calls in Smart Contracts.

[BibT_eX]

[DOI]

Margherita Renieri

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Explainable Ponzi Schemes Detection on Ethereum.

[BibT_eX]

[DOI]

Fabio Pinelli

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 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

A Logic for Policy Based Resource Exchanges in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

A Netting Protocol for Liquidity-saving Automated Market Makers.

[BibT_eX]

[DOI]

Margherita Renieri

Alberto Lluch-Lafuente

James Hsin-yu Chiang

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

Formally verifying security protocols built on watermarking and jamming.

[BibT_eX]

[DOI]

Comput. Secur., May, 2023

A type language for distributed reactive components governed by communication protocols.

[BibT_eX]

[DOI]

Zorica Savanovic

J. Log. Algebraic Methods Program., April, 2023

Resilience of Hybrid Casper Under Varying Values of Parameters.

[BibT_eX]

[DOI]

Distributed Ledger Technol. Res. Pract., 2023

Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning.

[BibT_eX]

[DOI]

Fabio Pinelli

CoRR, 2023

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2023

A Comparison of Hosting Techniques for Online Cybersecurity Competitions.

[BibT_eX]

[DOI]

Niccolò Maggioni

Proceedings of the Intelligent Technologies for Interactive Entertainment, 2023

2022

Automatic Fair Exchanges.

[BibT_eX]

[DOI]

CoRR, 2022

IFCIL: An Information Flow Configuration Language for SELinux (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Can my firewall system enforce this policy?

[BibT_eX]

[DOI]

Comput. Secur., 2022

Towards effective preservation of robust safety properties.

[BibT_eX]

[DOI]

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

IFCIL: An Information Flow Configuration Language for SELinux.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Italian IT Initiatives against COVID-19 (Dataset).

[BibT_eX]

[DOI]

Dataset, December, 2021

Securing Interruptible Enclaved Execution on Small Microprocessors.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2021

Mechanical incrementalization of typing algorithms.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

A theory of transaction parallelism in blockchains.

[BibT_eX]

[DOI]

Massimo Bartoletti

Maurizio Murgia

Log. Methods Comput. Sci., 2021

Modelling and analysing IoT systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2021

FWS: Analyzing, maintaining and transcompiling firewalls.

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

Framework, Tools and Good Practices for Cybersecurity Curricula.

[BibT_eX]

[DOI]

IEEE Access, 2021

Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.

[BibT_eX]

[DOI]

Selene Gerali

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Natural Projection as Partial Model Checking.

[BibT_eX]

[DOI]

J. Autom. Reason., 2020

Private-Yet-Verifiable Contact Tracing.

[BibT_eX]

[DOI]

Andrea Canidio

Gabriele Costa

CoRR, 2020

A type language for message passing component-based systems.

[BibT_eX]

[DOI]

Zorica Savanovic

Hugo Torres Vieira

Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.

[BibT_eX]

[DOI]

CoRR, 2020

VeriOSS: Using the Blockchain to Foster Bug Bounty Programs.

[BibT_eX]

[DOI]

Andrea Canidio

Gabriele Costa

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

MuAC: Access Control Language for Mutual Benefits.

[BibT_eX]

[DOI]

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

Control-flow Flattening Preserves the Constant-Time Policy.

[BibT_eX]

[DOI]

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

A True Concurrent Model of Smart Contracts Executions.

[BibT_eX]

[DOI]

Massimo Bartoletti

Maurizio Murgia

Proceedings of the Coordination Models and Languages, 2020

Security Metrics at Work on the Things in IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Programming in a context-aware language.

[BibT_eX]

[DOI]

J. Supercomput., 2019

Measuring security in IoT communications.

[BibT_eX]

[DOI]

Stefano Chessa

Theor. Comput. Sci., 2019

Translation Validation for Security Properties.

[BibT_eX]

[DOI]

CoRR, 2019

Using Standard Typing Algorithms Incrementally.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

From Firewalls to Functions and Back.

[BibT_eX]

[DOI]

Mauro Tempesta

Proceedings of the Third Italian Conference on Cyber Security, 2019

A Brief Tour of Formally Secure Compilation.

[BibT_eX]

[DOI]

Proceedings of the Third Italian Conference on Cyber Security, 2019

Analysing the Provenance of IoT Data.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security and Privacy - 5th International Conference, 2019

Tracking Data Trajectories in IoT.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

A Minimal Core Calculus for Solidity Contracts.

[BibT_eX]

[DOI]

Massimo Bartoletti

Maurizio Murgia

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2019

Are All Firewall Systems Equally Powerful?

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

Checking the Expressivity of Firewall Languages.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Robust Declassification by Incremental Typing.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

Revealing the Trajectories of KLAIM Tuples, Statically.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

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

Transcompiling Firewalls.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Firewall Management With FireWall Synthesizer.

[BibT_eX]

[DOI]

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Language-Independent Synthesis of Firewall Policies.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Tracing where IoT data are collected and aggregated.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Tool Supported Analysis of IoT.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

Experimenting with a Context-Aware Language.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2017

Tracking Sensitive and Untrustworthy Data in IoT.

[BibT_eX]

[DOI]

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

2016

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Context-aware security: Linguistic mechanisms and static analysis.

[BibT_eX]

[DOI]

J. Comput. Secur., 2016

Event-driven Adaptation in COP.

[BibT_eX]

[DOI]

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

A Step Towards Checking Security in IoT.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

A Semantics for Disciplined Concurrency in COP.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

The Cost of Securing IoT Communications.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Where Do Your IoT Ingredients Come From?

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

Last Mile's Resources.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

A Context-Oriented Extension of F#.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Safe Adaptation Through Implicit Effect Coercion.

[BibT_eX]

[DOI]

Davide Basile

Gianluca Mezzetti

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

2014

Adaptivity: Linguistic Mechanisms and Static Analysis Techniques.

[BibT_eX]

[DOI]

PhD thesis, 2014

An Abstract Interpretation Framework for Type and Effect Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

A Two-Phase Static Analysis for Reliable Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Linguistic Mechanisms for Context-Aware Security.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A Two-Component Language for COP.

[BibT_eX]

[DOI]

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

2013

Security in Pervasive Applications: A Survey.

[BibT_eX]

[DOI]

Eur. J. Law Technol., 2013

2012

Typing Context-Dependent Behavioural Variation

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Types for Coordinating Secure Behavioural Variations.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Formalising Security in Ubiquitous and Cloud Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Computer Information Systems and Industrial Management, 2012

2011

An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

[BibT_eX]

[DOI]