The University of Southampton
Telephone:
+442380599009
Email:
vsassone@soton.ac.uk

Professor Vladimiro Sassone

Academic Staff

Twitter

My research interest are in cyber security, spanning over trust, anonymity, privacy, cyber controls, and the security of clouds, industrial control systems and the internet of things. In the past my research has focussed the foundations of mobile, distributed systems, and aimed at the development of robust, high-level paradigms for ubiquitous computing, web transactions and linked data. My scientific background include semantics, type theory, logics, formal methods and, in general, the foundations of computer science, with a major interest on concurrency. 

Bio. Professor Vladimiro Sassone has worked at the University of Southampton since 2006, where he is the Roke/Royal Academy of Engineering Research Chair in Cyber Security, the Head of the Cyber Security Group, the Director of the GCHQ/EPSRC Academic Centre of Excellence for Cyber Security Research (ACE-CSR), the Director of the Cyber Security Academy (CSA), a partnership between the University, Industry and Government to advance Cyber Security through excellence in research and teaching, industrial expertise and training capacity.  

A theoretical computer scientist by formation, Professor Sassone turned to cyber security in 2001. His recent research include resource access control over untrusted networks, trust management systems, predictive trust-and-reputation models, anonymity and privacy in the presence of trust and attackers’ belief systems. He originated the notions of trust structures and the information-theoretic measure of vulnerability with beliefs. He was the first to use hidden Markov models in trust-and-reputation systems, and the first to use game theory to design, understand and analyse collaboration mechanisms in anonymity networks like Tor. His externally funded research currently focusses on cloud security, data anonymisation, cyber security controls and the security of the internet-of-things and of smart contracts on distributed ledgers technologies.

Professor Sassone has been the Head of Department of Informatics at the University of Sussex, Director of the ECS Graduate School at Southampton, and has been leading on cyber security in Southampton since 2012. He has chaired for seven years the ETAPS Steering Committee. He is President of the European Association for Theory and Practice, and has been elected member of the Academia Europaea, and of the Council of the European Association for Theoretical Computer Science continuously since 2003. He was among the founders of the symposium ‘Trustworthy Global Computing,’ the BCS conference ‘Visions of Computing,’ the ETAPS conference ‘Principles of Security and Trust,’  and the  ‘Southampton CyberCrime Symposium.’

He collaborates with and consults for branches of Government and regulatory bodies, including the Foreign and Commonwealth Office, The Cabinet Office, GCHQ/CESG, NCA, ROCUs, Hampshire Police, FCA and Bank of England. He is the UK representative on the IFIP Technical Committee TC1, Foundations of Computer Science. Professor Sassone is the editor-in-chief of ACM Selected Readings and of Springer’s ARCoSS, Advanced Research in Computing and Software Science. He is editor of Theoretical Computer Science, Logical Methods in Computer Science, Electronic Proc. in Theoretical Computer Science and, until recently, of The Computer Journal.

 

The following data are out of Publish or Perish, accurate as of May 2016:

Papers: 304
Cites/paper: 10.65
h-index: 32
Citations: 3239
Cites/author: 1293.27
g-index: 51
Years: 26
Papers/author: 166.28  
hI,norm: 19
Cites/year: 124.58  
Authors/paper: 2.50
 

 Here is my Full CV

My PGP public key can be obtained by running gpg --recv-keys EF4EE9E9

A COMODO certificate (exp 07.2017) for vsassone@soton.ac.uk's public key

Research

Grants

Effective Data Anonymisation -- GCHQ (2016)
Cyber Security Academy -- Industry funded (2016)
Roke/RAEng Research Chair in Cyber Security -- RAEng (2016)
CASTLE: Enhancing Campus Cyber Security Through Constructivist Student Learning -- Higher Education Academy (2015)
SUNFISH: Secure Information Sharing in Federated Heterogeneous Private Clouds  -- H2020 (2015)
Cyber Security Controls Effectiveness II -- HMG (2016)
Cyber Security Controls Effectiveness  -- HMG (2015)
National Cipher Challenge Reboot -- GCHQ (2015)
Language-Based Security for Smart Contracts in Distributed Ledgers -- GCHQ (2015)
Cybercrime Symposium -- GCHQ (2014)
Cybersecurity Lab -- GCHQ (2014)
Cyber Security in the Internet of Things -- GCHQ (2012)
Formal Verification of the Smart Metering Implementation Programme --- GCHQ (2012)
Cyber Security Centre Funding Grant -- EPSRC (2012)
Pervasive Computing Support for Market Trading - EPSRC (completed)
Third-Party Resource Usage for Pervasive Computing - EPSRC (completed)
MyThS: Models and Types for Security in Mobile Distributed Systems - EU (completed)
DisCo: Semantic Foundations of Distributed Computation - EU (completed)
COMMA: Control Mechanisms for Mobile Ambients - EPSRC (completed)
Tosca: Theory of Concurrency, Higher Order, and Types - MURST (completed)

Professional

Qualifications

PhD in Informatics, Pisa (1994);
MSc in Informatics, Pisa (1990).

Consultancy

National Crime Agency (NCA) (and previously SOCA) – Cybercrime, Bitcoin
Hampshire Constabulary – Cyber Training for Law Enforcement
South East Regional Organised Crime Unit (SEROCU) – Chain of custody for electronic evidence
Bank of England – Bitcoin
Financial Conduct Authority (FCA) – Distributed Ledgers & Smart Contracts
Hara Media Ltd – Watermarking 

Professional activities

Managing editor of ARCoSS, Advanced Research in Computing and Software Science
Editor-in-chief of ACM Selected Readings in Computing
Editor of Logical Methods in Computer Science
Editor of Theoretical Computer Science
Editor of Electronic Proceedings in Theoretical Computer Science
Formerly Associated Editor of The Computer Journal
Formerly Editor-in-chief of the Bulletin of the EATCS

President of ETAPS eV association
Member of EATCS board
Member of ETAPS steering committee
Formerly Chair of ETAPS steering committee

Member of POST steering committee
Member of TGC steering committee

Member of Academia Europaea
Fellow of the British Computer Society
Member of the UKCRC
Member of the London Mathematical Society's Computer Science Committee
Member of the EATCS Council
Member of Presburger Award Committee
Member of IFIP Technical Committee 1 (UK representative)
Member of IFIP Working Group 1.3

Member of EPSRC College.
Member of ANVUR, Italian agency for evaluation of University Resarch (Mathematics and Computer Science) 

Formerly member of Steering Committee for UK Grand Challenge Ubiquitous Computing
Formerly observer at IFIP Working Group 2.2
Formerly member of FOSSACS Steering Committee
Formerly member of UK-UbiNet Management Committee

Invited speaker at Data Linkage & Anonymisation, Sep 2016, Cambridge (UK)
Invited speaker at the Information Assurance Technical Conference 2016, Apr 2016, Cheltenham (UK)
Invited lecturer at CINI's Cyber Security Lab’s Winter School in Securing Critical Infrastructures, SecureCI 2016, Cortina (IT)
Invited speaker at the 13th Intl Workshop on Quantitative Aspects of Programming Languages and Systems, Apr 2015, London (UK)
Invited speaker at the Information Assurance Technical Conference 2015, Feb2015, Cheltenham (UK)
Invited speaker at the 21th Intl Workshop on Expressiveness in Concurrency, EXPRESS 2014, Sep 2014, Rome (IT)
Invited speaker at the 11th Workshop on Structural Operational Semantics, SOS 2014, Sep 2014, Rome (IT)
Invited speaker at Perspectives of System Informatics, the Ershov Informatics Conference 2014, PSI 2014, Jun 2014, St Petersburg (RU)
Invited speaker at the Workshop on Tools and Methods for Cyber-Physical Systems of Systems, CPSoS, Sep 2014, Bertinoro (IT)
Invited speaker at the workshop Open Problems in Concurrency Theory, Jun 2014, Bertinoro (IT)
Invited lecturer at the IFIP Summer School on Trust Management, IFIPTM 2011, Jun 2011, Copenhagen (DK)
Invited lecturer at Bertinoro International Spring School 2011, March 2011, Bertinoro (IT)
Invited speaker at 21st Int Conf on Concurrency Theory, Aug 2010, Paris (FR)
Invited lecturer at IMT, Institute for Advanced Studies, PhD School, June 2010, Lucca (IT)
Invited speaker at Trustworthy Global Computing 2010, Feb 2010, Munich (GER)
Keynote speaker at Int Symp Formal Methods for Components and Objects, FMCO, Nov 2006, Amsterdam (NL)
Invited speaker at Int Symp Principles and Practice of Declarative Programming, PPDP, Jul 2006, Venice (IT)
Invited speaker at Int Conf on Algebras and Coalgebras in Computer Science, CALCO, Sep 2005, Swansea (UK)
Invited lecturer at Int Summer School on Ubiquitous Networks, Sep 2004, Edinburgh (UK)
Keynote speaker at Joint EU/NSF Strategic Workshop Engineering Software Intensive Systems, May 2004, Edinburgh (UK)
Invited speaker at 1st UK-UbiNet Workshop, Sep 2003, London (UK)
Invited lecturer at Int Summer School on Foundations of Security, Jun 2003, Eugene (Oregon USA)
Invited speaker at Fields Institute ’s Workshop on Concurrency and Mobility, Jun 2003, Ottawa (CA)
Invited speaker at Workshop on Object Oriented Developments, WOODS, Apr 2003, Warsaw (PL)
Invited lecturer at 3rd Int School on Foundations of Security Analysis and Design, FOSAD, Sep 2002, Bertinoro (IT) 

Programme and event chair of 1st, 2nd & 3rd Southampton Cybercrime Symposium,  2014, 2015 & 2016
Programme chair of 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, 2012
Programme chair of 6th Symposium on Trustworthy Global Computing, TGC , 2011
Programme chair of IFIP WCC 2010 TCS (Track B)
Programme chair of 33rd Int Coll on Automata, Languages and Programming, ICALP (Track B: Logics, Semantics and Theory of Programming), 2006
Programme chair of 8th Int Conf Foundations of Software Science and Computation Structures, FOSSACS (ETAPS), 2005
Programme chair of Foundations of Global Computing, FGC, 2003
Programme chair of Foundations of Wide Area Network Computing, F-WAN, 2002
Programme chair of Concurrency and Coordination, CONCOORD, 2001
Member of Programme Committee of over 40 international conferences and workshops.

Conferences attended

Duties

Director of Cyber Security Academy (CSA)
Director of Academic Centre of Excellence for Research in Cyber Security (ACE-CSR)

Publications

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS Fundamenta Informaticae, 16, (2), pp. 171-199.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets Theoretical Computer Science, 153, (1-2), pp. 171-210.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification Theoretical Computer Science, 170, (1-2), pp. 297-348.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes Theoretical Computer Science, 170, (1-2), pp. 277-296.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets Mathematical Structures in Computer Science, 7, pp. 359-397.

Sassone, V. (1998) An Axiomatization of the Category of Petri Net Computations Mathematical Structures in Computer Science, 8, pp. 117-151.

Hildebrandt, T. and Sassone, V., (1997) Transition Systems with Independence and Multi-Arcs Peled, D., Pratt, V. and Holzmann, G. (eds.) At Partial Order Methods in Verification, POMIV '96. , pp. 273-288.

Nielsen, M. and Sassone, V., (1998) Petri Nets and Other Models of Concurrency Reisig, W. and Rozenberg, G. (eds.) At Lectures on Petri Nets I: Basic Models. , pp. 587-642.

Sassone, V. (2000) On the Algebraic Structure of Petri Nets Bulletin of the European Association for Theoretical Computer Science, 72, pp. 133-148.

Bruni, R. and Sassone, V., (2001) Two Algebraic Process Semantics for Contextual Nets Ehrig, H., Juhäs, G., Padberg, J. and Rozenberg, G. (eds.) At Unifying Petri Nets. , pp. 427-456.

Sassone, V. (ed.) (2003) Bulletin of the European Association for Theoretical Computer Science, vol. 81, EATCS

Sassone, V. (ed.) (2004) Bulletin of the European Association for Theoretical Computer Science, vol. 83, EATCS

Sassone, V. (ed.) (2004) Bulletin of the European Association for Theoretical Computer Science, vol. 82, EATCS

Sassone, V. (ed.) (2004) Bulletin of the European Association for Theoretical Computer Science, vol. 84, EATCS

Sassone, V. (ed.) (2005) Bulletin of the European Association for Theoretical Computer Science, vol. 85, EATCS

Sassone, V. (ed.) (2005) Bulletin of the European Association for Theoretical Computer Science, vol. 86, EATCS

Sassone, V. (ed.) (2005) Bulletin of the European Association for Theoretical Computer Science, vol. 87, EATCS

Sassone, V. (ed.) (2006) Bulletin of the European Association for Theoretical Computer Science, vol. 88, EATCS

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories Nordic Journal of Computing, 10, pp. 163-183.

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing Bulletin of the EATCS, 82, pp. 325-333.

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects Concurrency and Computation: Practice & Experience, 17, (5-6), pp. 539-572.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories Theoretical Computer Science, 333, (1-2), pp. 297-327.

Kwiatkowska, M. and Sassone, V., Hoare, T. and Milner, R.(eds.) (2005) GC2: Science for Global Ubiquitous Computing Grand Challenges in Computing, pp. 9-12.

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems Theoretical Computer Science, 335, (2-3), pp. 331-372.

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management ALP Newsletter, 17, (4), 4 pp..

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients Information and Computation, 202, (1), pp. 39-86.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes Theoretical Computer Science, 373, (1-2), pp. 41-69.

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus Journal of Computer Security, 14, (2), pp. 133-155.

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing Logical Methods in Computer Science, 1, (3:2), pp. 163-21.

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability Journal of Logic and Computation, 16, (1), pp. 27-59.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs Author's Original

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems Journal of Computer Security, (In pr

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics s.n.

Montanari, U. and Sassone, V. (eds.) (1996) Proceedings of 7th International Conference on Concurrency Theory, Concur 1996. Lecture Notes in Computer Science 1119, vol. 1119, Springer

Montanari, U. and Sassone, V. (eds.) (1998) Theoretical Computer Science vol. 195(2). Special Issue on Concurrency Theory, vol. 195, Elsevier

Cousot, P., Goubault, E., Gunawardena, J., Herlihy, M., Raussen, M. and Sassone, V. (eds.) (2000) Proceedings of the 2nd Workshop on Geometric and Topological Methods in Concurrency Theory, GETCO 2000, ENTCS vol. 39(2), vol. 39, Elsevier

Cousot, P., Fajstrup, L., Goubault, E., Gunawardena, J., Herlihy, M. and Raussen, M. (eds.) (2001) Proceedings of the 3rd Workshop on Geometric and Topological Methods in Concurrency Theory, GETCO 2001, ENTCS vol. 52(2), vol. 52, Elsevier

Sassone, V. (ed.) (2002) Proceedings of the International Workshop on Foundations of Wide Area Network Computing, F-WAN, ENTCS vol. 66(3), Elsevier

Sassone, V. (ed.) (2003) Proceedings of the 2nd EATCS International Workshop on Foundations of Global Computing, FGC, ENTCS vol. 85(1), Elsevier

Sassone, V. (ed.) (2004) Mathematical Structures in Computer Science vol. 14(3). Special issue on Concurrency and Coordination, Cambridge University Press

Sassone, V. (ed.) (2005) Theoretical Computer Science vol. 322(3). Special issue on Foundations of Wide Area Network Computing, Elsevier

Sassone, V. (ed.) (2005) Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS 2005. Lecture Notes in Computer Science 3441, vol. 3441, Springer

Sassone, V. (ed.) (2006) Theoretical Computer Science, Special issue on FoSSaCS 2005, Foundations of Software Science and Computation Structures. Forthcoming, Elsevier

Sannella, D. and Sassone, V. (eds.) (2006) Theoretical Computer Science, Special issue on Semantic and Logical Foundations of Global Computing. Forthcoming, Elsevier

Sassone, V. (2002) Foundations of Global Computing

Sassone, V. (2003) Building the Case for Global Computing

Sassone, V. (2003) Global Computing II. Terms of reference for the FP6-EU-FET call. Bulletin of the European Association for Theoretical Computer Science, 82, pp. 319-324.

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security s.n.

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Inductive completion of monoidal categories and infinite petri net computations At Workshop on Topology and Completion in Semantics, France. 51 pp.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations. s.n.

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey At International School on Foundations of Security Analysis and Design, FOSAD 01/02.. , pp. 91-138.

Sassone, V. (2004) The Algebraic Structure of Petri Nets In, Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. World Scientific pp. 385-410.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory At First International Conference on Algebras and Coalgebras in Computer Science.. , pp. 30-50.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation At International Workshop on Object Oriented Developments, WOODS 2003.. , 3 pp..

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing At 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991.. , pp. 346-356.

Sassone, V., (2004) Engineering Trust-based Software Intensive Systems Wirsing, M. and Ronchaud, R. (eds.) At Joint EU/NSF Strategic Research Workshop on Engineering Software Intensive Systems.

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets At 3rd International Conference on Concurrency Theory, CONCUR 92.. , pp. 286-301.

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming At 8th Meeting on Logic Programming, GULP '93.

Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics At 8th Meeting on Logic Programming, GULP '93..

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency At 4th International Conference on Concurrency Theory, CONCUR '93.. , pp. 82-96.

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency At 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93.. , pp. 682-692.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency At REX School '93. A Decade of Concurrency: Reflections and Perspectives.. , pp. 425-476.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets At 15th International Conference on Application and Theory of Petri Nets, ICATPN '94.. , pp. 16-38.

Sassone, V. (1994) An Approach to the Category of Net Computations At 6th Nordic Workshop on Programming Theory, NWPT '94.. , pp. 385-399.

Sassone, V. (1995) On the Category of Petri Net Computations At 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95.. , pp. 334-348.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes At 10th Conference on Fundamentals of Computation Theory, FCT '95.. , pp. 414-423.

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets At 6th International Conference on Concurrency Theory, CONCUR '95.. , pp. 175-189.

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems At 11th Symposium of Logics in Computer Science, LICS '96.. , pp. 55-62.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems At 7th International Conference on Concurrency Theory, CONCUR '96.. , pp. 84-97.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets At Foundations of Computer Science : Potential - Theory - Cognition.. , pp. 239-249.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy At Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98.. , pp. 225-244.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy At Category Theory and Computer Science, CTCS '99.. , 18 pp..

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets At 27th International Colloquium on Automata, Languages and Programming, ICALP 2000.. , pp. 175-186.

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic At IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000.. , pp. 440-456.

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus At Foundations of Software Science and Computation Structures, FOSSACS 2001.. , pp. 104-120.

Nielsen, M., Sassone, V. and Srba, J. (2001) Towards a Notion of Distributed Time for Petri Nets At 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001.. , pp. 23-31.

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets At Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001.. , pp. 280-291.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients At Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001.. , 19 pp.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients At 13th Int. Conference on Concurrency Theory, CONCUR '02.. , pp. 304-320.

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources At 13th Int. Conference on Concurrency Theory, CONCUR '02.. , pp. 272-287.

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization At Joint ACM-ISCOPE Conference on Java Grande, JGI'02.. , pp. 212-221.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach At 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002.. , 19 pp..

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients At 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2002.. , pp. 71-84.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories At Foundations of Software Science and Computation Structures, FOSSACS 2003.. , pp. 409-424.

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks At 30th International Colloquium on Automata, Languages and Programming, ICALP 2003.. , pp. 969-983.

Carbone, M., Nielsen, M. and Sassone, V., (2003) A Formal Model for Trust in Dynamic Networks Cerone, A. and Lindsay, P. (eds.) At Int. Conference on Software Engineering and Formal Methods, SEFM 2003.. , pp. 54-61.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V., (2003) Algebraic theories for contextual pre-nets Blundo, C. and Laneve, C. (eds.) At 8th Italian Conference on Theoretical Computer Science, ICTCS 2003.. , pp. 256-270.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities At Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03.. , pp. 205-223.

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after At 19th ACM Symposium on Applied Computing, SAC'04.. , pp. 1267-1274.

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus At European Symposium on Programming, ESOP'04.. , pp. 171-187.

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control At 17th IEEE Computer Security Foundations Workshop, CSFW'04.. , pp. 48-60.

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management At 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004.. , pp. 161-173.

Gorla, D., Hennessy, M. and V. Sassone, None (2005) Security Policies as Membranes in Systems for Global Computing At Foundations of Global Ubiquitous Computing, FGUC 2004.. , pp. 23-42.

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets At International Workshop on Petri Nets and Graph Transformations.. , pp. 107-120.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans At 20th Symposium on Logic in Computer Science, LICS 2005.. , pp. 311-320.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs At 32th International Colloquium on Automata, Languages and Programming, ICALP 2005.. , pp. 766-778.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML At 13th Symposium on Advanced Database Systems, SEDB 2005.. , pp. 392-399.

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems At 12th ACM Conference on Computer and Communication Security, CCS'05.. , pp. 260-269.

Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients (talk)

Sassone, V. (2002) Capacity-Bounded Computational Ambients (talk)

Sassone, V. (2005) A Framework for Concrete Reputation Systems with applications to History-Based Access Control (talk)

Sassone, V. (2005) Labels from Reductions - the theory of relative pushouts (talk)

Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk)

Sassone, V. (2003) Subtyping for Access Control (talk)

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk)

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk)

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk)

Sassone, V. (2003) A Calculus of Bounded Capacities (talk)

Sassone, V. (2001) An introduction to the ?-calculus - Model, Variations, Semantics (talk)

Sassone, V. (2004) Congruences for Contextual Graph-Rewriting (talk)

Sassone, V. (2004) Background and Structure of a Coordination Action (talk)

Sassone, V. (2003) Calculi and Types for Global Computing (talk)

Sassone, V. (2003) A Role for Theory in UbiNet (talk)

Sassone, V. (2004) A dependently typed ambient calculus (talk)

Sassone, V. (2004) Context-Aware Software-Intensive Systems - An autonomic approach (talk)

Sassone, V. (2004) Trust and Concurrency - A Theory Contribution to Ubiquitous Computing (talk)

Sassone, V. (2004) Foundations of Global Computing - A Personal Perspective (talk)

Sassone, V. (2004) Global Computing II - A new FET Programme for FP6 (talk)

Sassone, V. (2004) A Calculus for Trust Management (talk)

Sassone, V. (2004) Security Policies as Membranes in Systems for Global Computing (talk)

Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control (talk)

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs At 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06. , pp. 1-12.

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management At 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06. , pp. 213-223.

Sassone, V. (ed.) (2006) Bulletin of the European Association for Theoretical Computer Science, vol. 89, EATCS

Sassone, V. (ed.) (2006) Bulletin of the European Association for Theoretical Computer Science, vol. 90, EATCS

Sassone, V. (2006) Elements towards a foundation of computational trust (talk)

Sassone, V. (2006) Semantic barbs: what's in an observation? (talk)

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality At Foundations of Software Science and Computation Structures, FOSSACS 2007. , pp. 302-316.

Hennessy, Matthew, Merro, Massimo and Rathke, Julian, Sassone, Vladimiro(ed.) (2004) Towards a behavioural theory of access and mobility control in distributed systems Theoretical Computer Science, 322, (3), pp. 615-669.

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. Elsevier

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets Information and Computation, 170, (2), pp. 207-236.

Sassone, V. (ed.) (2007) Bulletin of the European Association for Theoretical Computer Science, vol. 91, EATCS

Sassone, V. (ed.) (2007) Bulletin of the European Association for Theoretical Computer Science, vol. 92, EATCS

Sassone, V. (ed.) (2007) Bulletin of the European Association for Theoretical Computer Science, vol. 93, EATCS

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S.(ed.) (2007) Towards a Formal Framework for Computational Trust Formal Methods for Components and Objects, LNCS 4, pp. 175-184.

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi At Proceedings of FOSSACS 2008. , pp. 428-433.

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures Fundamenta Informaticae, 80, pp. 1-20.

Sassone, V., Sassone, V.(ed.) (2008) Preface Theoretical Computer Science, 390, ((2-3)), pp. 127-128. (doi:10.1016/j.tcs.2007.09.019).

Sassone, V., Sassone, V. (ed.) (2008) Foundations of Software Science and Computational Structures, vol. 390(2-, Elsevier (Theoretical Computer Science, 390(2-).

Sannella, D. and Sassone, V., Sannella, D. and Sassone, V.(eds.) (2007) Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005) Theoretical Computer Science, 389, (3), pp. 337-340.

Sannella, D. and Sassone, V. (eds.) (2007) Semantic and logical foundations of global computing, vol. 389(3), Elsevier (Theoretical Computer Science, 389(3)).

Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, (2008) Modal Logics are Coalgebraic Abramsky, Samson, Gelenbe, Erol and Sassone, Vladimiro (eds.) At Visions of Computer Science 2008.

Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro(ed.) (2011) Modal logics are coalgebraic The Computer Journal, 54, (1), pp. 31-41. (doi:10.1093/comjnl/bxp004).

Hamadou, Sardaouna, Palamidessi, Catuscia, Sassone, Vladimiro and ElSalamouny, Ehab (2009) Probable innocence in the presence of independent knowledge At International Workshop on Formal Aspects in Security and Trust (FAST2009), Netherlands. , pp. 141-156.

ElSalamouny, Ehab, Sassone, Vladimiro and Nielsen, Mogens (2009) HMM-based Trust Model At International Workshop on Formal Aspects in Security and Trust (FAST2009), Netherlands. , pp. 21-35.

ElSalamouny, Ehab, Krukow, Karl Tikjøb and Sassone, Vladimiro (2009) An analysis of the exponential decay principle in probabilistic trust models [in special issue: Festschrift for Mogens Nielsen’s 60th birthday] Theoretical Computer Science, 410, (41), pp. 4067-4084. (doi:10.1016/j.tcs.2009.06.011).

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow At IEEE Symposium of Security and Privacy. , pp. 79-92.

Bugliesi, Michele and Sassone, Vladimiro (2010) International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006, Creative Commons Licence

Sassone, Vladimiro, El-Salamouny, Ehab and Hamadou, Sardaouna (2010) Trust in Crowds: probabilistic behaviour in anonymity protocols At Symposium on Trustworthy Global Computing, TGC 2010, Lecture Notes in Computer Science 6084. , pp. 88-102.

Bruni, Roberto and Sassone, Vladimiro (2008) Models of Computation: A Tribute to Ugo Montanari’s Vision At Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. , pp. 503-509.

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing Philosophical Transactions of The Royal Society A: Mathematical Physical and Engineering Sciences, 366, (1881), pp. 3781-3793. (doi:10.1098/rsta.2008.0134).

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro, (2009) Probabilistic Computational Trust Lodaya, Kamal, Mukund, Madhavan and Ramanunjan, R (eds.) At Perspectives in Concurrency Theory.

Souilah, Issam, Francalanza, Adrian and Sassone, Vladimiro, (2009) A Formal Model of Provenance in Distributed Systems Cheney, James (ed.) At Workshop on the Theory and Practice of Provenance.

Abramsky, Samson, Gelenbe, Erol and Sassone, Vladimiro (2008) Visions of Computer Science - BCS International Academic Conference, BCS Press

Sassone, V. (2006) Typed polyadic pi-calculus in bgraphs (talk)

Sassone, V. (2006) Inferring Dynamic Credential for Rôle-based Trust Management (talk)

Sassone, V. (2007) Opportunities for Formal Methods in the analysis of pervasive adaptation (talk)

Sassone, V. (2007) A Bayesian model for event-based trust - Elements of a foundation for computational trust (talk)

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk)

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security applications (talk)

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security Applications (talk)

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk)

Sassone, V. (2008) Structural Operational Semantics for Stochastic Systems (talk)

Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk)

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk)

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk)

Sassone, V. (2009) Elements of Foundations for Ubiquitous Computing (talk)

Sassone, V. (2009) On the anonymity in the Crowds protocol (talk)

Sassone, V. (2010) Trust in Crowds - Probabilistic Behaviour in Anonymity Protocols (talk)

Sassone, Vladimiro (2009) I dag er det Mogens’ fødselsdag Theoretical Computer Science, 410, (41)

Sassone, V (2008) Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005 THEORETICAL COMPUTER SCIENCE, 390, pp. 127-128.

Sassone, Vladimiro, Hamadou, Sardaouna and Yang, Mu (2010) Trust in Anonymity Networks Lecture Notes in Computer Science, ARCoSS, 6269, pp. 48-70.

Horne, Ross and Sassone, Vladimiro, (2011) A Verified Algebra for Linked Data Revara, Antonio and Mousavi, MohammadReza (eds.) At 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, EPTCS 58, Germany. , pp. 20-33.

Horne, Ross, Sassone, Vladimiro and Gibbins, Nicholas, (2012) Operational semantics for SPARQL Update Pan, Jeff Z., Chen, Huajun, Kim, Hong-Gee, Li, Juanzi, Wu, Zhe, Horrocks, Ian, Mizoguchi, Riichiro and Wu, Zhaohui (eds.) In The Semantic Web. Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. Springer. 16 pp, pp. 242-257.

Horne, Ross and Sassone, Vladimiro (2011) A Typed Model for Linked Data Technical Report

Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-based separation logic for message-passing concurrency Logical Methods in Computer Science, 7, (3), pp. 1-47. (doi:10.2168/LMCS-7(3:7)2011).

Yang, Mu and Sassone, Vladimiro (2011) Minimising anonymity loss in anonymity networks under DoS attacks In: 13th International Conference on Information and Communications Security, 23rd-26th, Nov, 2011, Beijing, China. Lecture Notes in Computer Science, 7043, pp. 414-429.

Yang, Mu, Sassone, Vladimiro and Hamadou, Sardaouna, Degano, Pierpaolo and Guttman, Joshua(eds.) (2012) A Game-Theoretic Analysis of Cooperation in Anonymity Networks Proceedings of Principles of Security and Trust, POST 2012 (a member of ETAPS 2012), Lecture Notes in Computer Science (ARCoSS)

Horne, Ross and Sassone, Vladimiro (2012) A verified algebra for read-write linked data Author's Original, pp. 1-30.

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus [in special issue: New Directions in Rewriting (Honoring the 60th Birthday of Yoshihito Toyama)] Theoretical Computer Science, 464, pp. 113-129. (doi:10.1016/j.tcs.2012.06.020).

Klin, Bartek and Sassone, Vladimiro (2013) Structural operational semantics for stochastic and weighted transition systems Information and Computation, 227, pp. 58-83. (doi:10.1016/j.ic.2013.04.001).

Sassone, V., Dezani-Ciancaglini, M. and Horne, R. (2012) Tracing where and who provenance in linked data - a calculus - , Southampton, GB University of Southampton

Sassone, V. (2012) Dagstuhl Perspective Workshop 12452 “Publication Culture in Computing Research” At Publication Culture in Computing Research, Germany.

Yang, Mu, Sassone, Vladimiro and O'Hara, Kieron (2012) Appendix 3. Practical examples of some anonymisation techniques In, Anonymisation: Managing Data Protection Risk Code of Practice. Wilmslow, GB, Information Commissioner's Office pp. 80-103.

Hussein, Jamal, Moreau, Luc and Sassone, Vladimiro, (2015) Obscuring provenance confidential information via graph transformation Damsgaard Jensen, C., Marsh, S., Dimitrakos, T. and Murayama, Y. (eds.) In Proceedings of Trust Management IX. vol. 454, Springer. 17 pp, pp. 109-125. (doi:10.1007/978-3-319-18491-3_8).

Hussein, Jamal, Sassone, vladi and Moreau, Luc (2016) A template-based graph transformation system for the PROV data model At GCM 2016: Seventh International Workshop on Graph Computation Models, Austria. 04 Jul 2016. 15 pp.

Ciobanu, Gabriel, Horne, Ross and Sassone, Vladimiro (2016) A descriptive type foundation for RDF Schema Journal of Logical and Algebraic Methods in Programming, 85, (5), pp. 681-706. (doi:10.1016/j.jlamp.2016.02.006).

Hamadou, Sardouna, Palamidessi, Catuscia and Sassone, Vladimiro (2017) Quantifying leakage in the presence of unreliable sources of information Journal of Computer and System Sciences, 88, pp. 27-52. (doi:10.1016/j.jcss.2017.03.013).

Schiavo, Francesco Paolo, Sassone, Vladimiro, Nicoletti, Luca and Margheri, Andrea (eds.) (2016) FaaS: Federation-as-a-Service , Southampton, GB SUNFISH Project 56pp.

Ferdous, Sadek, Margheri, Andrea, Paci, Federica and Sassone, Vladimiro (2017) Decentralised runtime monitoring for access control systems in cloud federations , Southampton, GB University of Southampton 11pp.

Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2017) Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology At 2nd Workshop on Safety & Security aSSurance, Paris, France. 29 Apr 2017. 6 pp. (doi:10.1109/EuroSPW.2017.68).

Alansari, Shorouq, Paci, Federica and Sassone, Vladimiro (2017) A distributed access control system for cloud federations At IEEE International Conference on Distributed Computing, Atlanta, United States. 05 - 08 Jun 2017. 6 pp.

Alansari, Shorouq, Paci, Federica, Margheri, Andrea and Sassone, Vladimiro (2017) Privacy-preserving access control in cloud federations At IEEE International Conference on Cloud Computing 2017, Honolulu, United States. 25 - 30 Jun 2017. 4 pp.

Aniello, Leonardo, Baldoni, Roberto, Gaetani, Edoardo, Lombardi, Federico, Margheri, Andrea and Sassone, Vladimiro (2017) A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database At European Dependable Computing Conference. 05 - 09 Sep 2017.

Margheri, Andrea, Ferdous, Md Sadek, Yang, Mu and Sassone, Vladimiro (2017) A distributed infrastructure for democratic cloud federations At IEEE International Conference on Cloud Computing 2017, Honolulu, United States. 25 - 30 Jun 2017.

Ferdous, Md Sadek, Margheri, Andrea, Paci, Federica, Yang, Mu and Sassone, Vladimiro (2017) Decentralised runtime monitoring for access control systems in cloud federations At IEEE International Conference on Distributed Computing, Atlanta, United States. 05 - 08 Jun 2017.

Gaetani, Edoardo, Aniello, Leonardo, Baldoni, Roberto, Lombardi, Federico, Margheri, Andrea and Sassone, Vladimiro (2017) Blockchain-based database to ensure data integrity in cloud computing environments At Italian Conference on Cybersecurity. 17 - 20 Jan 2017. 10 pp.

Contact

Telephone: +442380599009

Email: vsassone@soton.ac.uk

Fax: +44 (0)2380 592783

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×