Vladimiro Sassone

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 29

Top Venues

Bull. EATCS

ITASEC

CoRR

J. Log. Algebraic Methods Program.

Publications

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
Designing Exception Handling Using Event-B. ABZ (2024)
Tadani Nasser Alyahya, Leonardo Aniello, Vladimiro Sassone
ScaNeF-IoT: Scalable Network Fingerprinting for IoT Device. ARES (2024)
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) (2022)
Stephen Hart, Basel Halak, Vladimiro Sassone
CIST: A Serious Game for Hardware Supply Chain. Comput. Secur. 122 (2022)
Stefano De Angelis, Gilberto Zanfino, Leonardo Aniello, Federico Lombardi, Vladimiro Sassone
Evaluating Blockchain Systems: A Comprehensive Study of Security and Dependability Attributes. DLT@ITASEC (2022)
Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon
Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance. MoDELS (Companion) (2021)
Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone
Verifying System-Level Security of a Smart Ballot Box. ABZ (2021)
Stephen Hart, Basel Halak, Vladimiro Sassone
MOTENS: A Pedagogical Design Model for Serious Cyber Games. CoRR (2021)
Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone
A Methodology to Select Topology Generators for Ad Hoc Mesh Network Simulations. J. Commun. 15 (10) (2020)
Andrea Margheri, Massimiliano Masi, Abdallah Miladi, Vladimiro Sassone, Jason Rosenzweig
Decentralised provenance for healthcare data. Int. J. Medical Informatics 141 (2020)
Stephen Hart, Andrea Margheri, Federica Paci, Vladimiro Sassone
Riskio: A Serious Game for Cyber Security Awareness and Education. Comput. Secur. 95 (2020)
Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva
EATCS Distinguished Dissertation Award 2020 - Call for Nominations. Bull. EATCS 132 (2020)
David Peleg, Susanne Albers, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, Vladimiro Sassone
EATCS Distinguished Dissertation Award 2019 - Call for Nominations. Bull. EATCS 129 (2019)
Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone
A Methodology to Select Topology Generators for WANET Simulations (Extended Version). CoRR (2019)
Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Mu Yang, Andrea Margheri, Runshan Hu, Vladimiro Sassone
Differentially Private Data Sharing in a Cloud Federation with Blockchain. IEEE Cloud Comput. 5 (6) (2018)
Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone
Towards Adaptive Access Control. DBSec (2018)
Luca Nicoletti, Andrea Margheri, Federico Lombardi, Vladimiro Sassone, Francesco Paolo Schiavo
Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case. ITASEC (2018)
Stefano De Angelis, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain. ITASEC (2018)
Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments. ITASEC (2017)
Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. EuroS&P Workshops (2017)
Shorouq Alansari, Federica Paci, Vladimiro Sassone
A Distributed Access Control System for Cloud Federations. ICDCS (2017)
Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone
Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. 88 (2017)
Shorouq Alansari, Federica Paci, Andrea Margheri, Vladimiro Sassone
Privacy-Preserving Access Control in Cloud Federations. CLOUD (2017)
Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database. EDCC (2017)
Md. Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone
Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations. ICDCS (2017)
Andrea Margheri, Md. Sadek Ferdous, Mu Yang, Vladimiro Sassone
A Distributed Infrastructure for Democratic Cloud Federations. CLOUD (2017)
Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti, Andrea Margheri
FaaS: Federation-as-a-Service. CoRR (2016)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. 85 (5) (2016)
Fedor V. Fomin, Kim Larsen, Vladimiro Sassone
EATCS Award 2015. Bull. EATCS 115 (2015)
Sardaouna Hamadou, Vladimiro Sassone, Mu Yang
An analysis of trust in anonymity networks in the presence of adaptive attackers. Math. Struct. Comput. Sci. 25 (2) (2015)
Jamal Ali Hussein, Luc Moreau, Vladimiro Sassone
Obscuring Provenance Confidential Information via Graph Transformation. IFIPTM (2015)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84 (4) (2015)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Descriptive Types for Linked Data Resources. Ershov Memorial Conference (2014)
Vladimiro Sassone
ETAPS Award Laudatio for Kohei Honda. Bull. EATCS 112 (2014)
Ross Horne, Vladimiro Sassone
A verified algebra for read-write Linked Data. Sci. Comput. Program. 89 (2014)
Vladimiro Sassone
The EATCS Award 2015 - Call for Nominations. Bull. EATCS 114 (2014)
Ehab ElSalamouny, Vladimiro Sassone
An HMM-Based Reputation Model. SecNet (2013)
Bartek Klin, Vladimiro Sassone
Structural operational semantics for stochastic and weighted transition systems. Inf. Comput. 227 (2013)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Local Type Checking for Linked Data Consumers. WWV (2013)
Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464 (2012)
Mu Yang, Vladimiro Sassone, Sardaouna Hamadou
A Game-Theoretic Analysis of Cooperation in Anonymity Networks. POST (2012)
Ross Horne, Vladimiro Sassone
A Verified Algebra for Linked Data FOCLASA (2011)
Ross Horne, Vladimiro Sassone, Nicholas Gibbins
Operational Semantics for SPARQL Update. JIST (2011)
Mu Yang, Vladimiro Sassone
Minimising Anonymity Loss in Anonymity Networks under DoS Attacks. ICICS (2011)
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
Permission-Based Separation Logic for Message-Passing Concurrency Log. Methods Comput. Sci. 7 (3) (2011)
Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi
Reconciling Belief and Vulnerability in Information Flow. IEEE Symposium on Security and Privacy (2010)
Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. TGC (2010)
Vladimiro Sassone, Sardaouna Hamadou, Mu Yang
Trust in Anonymity Networks. CONCUR (2010)
Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny
Probable Innocence in the Presence of Independent Knowledge. Formal Aspects in Security and Trust (2009)
Issam Souilah, Adrian Francalanza, Vladimiro Sassone
A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance (2009)
Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen
HMM-Based Trust Model. Formal Aspects in Security and Trust (2009)
Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone
An analysis of the exponential decay principle in probabilistic trust models. Theor. Comput. Sci. 410 (41) (2009)
Karl Krukow, Mogens Nielsen, Vladimiro Sassone
A logical framework for history-based access control and reputation systems. J. Comput. Secur. 16 (1) (2008)
Roberto Bruni, Vladimiro Sassone
Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models (2008)
Vladimiro Sassone
Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005. Theor. Comput. Sci. 390 (2-3) (2008)
Bartek Klin, Vladimiro Sassone
Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS (2008)
Mogens Nielsen, Karl Krukow, Vladimiro Sassone
A Bayesian Model for Event-based Trust. Electron. Notes Theor. Comput. Sci. 172 (2007)
Donald Sannella, Vladimiro Sassone
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005). Theor. Comput. Sci. 389 (3) (2007)
Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
Semantic Barbs and Biorthogonality. FoSSaCS (2007)
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
Static BiLog: a Unifying Language for Spatial Structures. Fundam. Informaticae 80 (1-3) (2007)
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
Space-aware ambients and processes. Theor. Comput. Sci. 373 (1-2) (2007)
Mikkel Bundgaard, Vladimiro Sassone
Typed polyadic pi-calculus in bigraphs. PPDP (2006)
Vladimiro Sassone, Karl Krukow, Mogens Nielsen
Towards a Formal Framework for Computational Trust. FMCO (2006)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Inferring dynamic credentials for rôle-based trust management. PPDP (2006)
Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16 (1) (2006)
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
Role-based access control for a distributed calculus. J. Comput. Secur. 14 (2) (2006)
Vladimiro Sassone, Pawel Sobocinski
Reactive Systems over Cospans. LICS (2005)
Bartek Klin, Vladimiro Sassone, Pawel Sobocinski
Labels from Reductions: Towards a General Theory. CALCO (2005)
Vladimiro Sassone, Pawel Sobocinski
Locating reaction with 2-categories. Theor. Comput. Sci. 333 (1-2) (2005)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Security Policies as Membranes in Systems for Global Computing. Electron. Notes Theor. Comput. Sci. 138 (1) (2005)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Security Policies as Membranes in Systems for Global Computing. Log. Methods Comput. Sci. 1 (3) (2005)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Security Policies as Membranes in Systems for Global Computing CoRR (2005)
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
Bigraphical Logics for XML. SEBD (2005)
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
Spatial Logics for Bigraphs. ICALP (2005)
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
Communication and mobility control in boxed ambients. Inf. Comput. 202 (1) (2005)
Roberto Bruni, Ugo Montanari, Vladimiro Sassone
Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335 (2-3) (2005)
Giuseppe Milicia, Vladimiro Sassone
Jeeg: temporal constraints for the synchronization of concurrent objects. Concurr. Pract. Exp. 17 (5-6) (2005)
Karl Krukow, Mogens Nielsen, Vladimiro Sassone
A framework for concrete reputation-systems with applications to history-based access control. CCS (2005)
Vladimiro Sassone, Pawel Sobocinski
A Congruence for Petri Nets. Electron. Notes Theor. Comput. Sci. 127 (2) (2005)
Giuseppe Milicia, Vladimiro Sassone
The inheritance anomaly: ten years after. SAC (2004)
Cédric Lhoussaine, Vladimiro Sassone
A Dependently Typed Ambient Calculus. ESOP (2004)
Vladimiro Sassone
Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord. Math. Struct. Comput. Sci. 14 (3) (2004)
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
A Calculus for Trust Management. FSTTCS (2004)
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
A Distributed Calculus for Ro^le-Based Access Control. CSFW (2004)
Vladimiro Sassone
Preface. Theor. Comput. Sci. 322 (3) (2004)
Vladimiro Sassone, Pawel Sobocinski
Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS (2003)
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
Secrecy in Untrusted Networks. ICALP (2003)
Vladimiro Sassone, Pawel Sobocinski
Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. 10 (2) (2003)
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
A Formal Model for Trust in Dynamic Networks. SEFM (2003)
Vladimiro Sassone
Preface. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
A Calculus of Bounded Capacities. ASIAN (2003)
Giuseppe Milicia, Vladimiro Sassone
Temporal constraints for concurrent object synchronisation. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
Algebraic Theories for Contextual Pre-nets. ICTCS (2003)
Giuseppe Milicia, Vladimiro Sassone
Jeeg: a programming language for concurrent objects synchronization. Java Grande (2002)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD (2002)
Massimo Merro, Vladimiro Sassone
Typing and Subtyping Mobility in Boxed Ambients. CONCUR (2002)
Vladimiro Sassone
Preface - F-WAN: Foundations of Wide Area Network Computing. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Vladimiro Sassone, Pawel Sobocinski
Deriving Bisimulation Congruences: A 2-categorical Approach. EXPRESS (2002)
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
Communication Interference in Mobile Boxed Ambients. FSTTCS (2002)

Vladimiro Sassone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vladimiro Sassone