Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / Pierpaolo Degano, Luca Viganò (eds.). by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Degano, Pierpaolo, 1950- Viganò, Luca Series: Lecture notes in computer science ; 5511. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / Margus Veanes, Luca Viganò (eds.). by TAP (Conference) (7th : 2013 : Budapest, Hungary) Veanes, Margus Viganò, Luca Series: Lecture notes in computer science ; 7942. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013 Other title: TAP 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Principles of security and trust : 5th International Conference, POST 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings / Frank Piessens, Luca Viganò (eds.). by POST (Conference) (5th : 2016 : Eindhoven, Netherlands) Piessens, F. (Frank) [editor.] Viganò, Luca [editor.] ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands) Series: Lecture notes in computer science ; 9635. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin : Springer, 2016 Other title: POST 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Socio-technical aspects in security and trust : 10th international workshop, STAST 2020 virtual event, September 14, 2020 : revised selected papers / Thomas Groß, Luca Viganò (eds.). by Workshop on Socio-technical Aspects in Security and Trust (10th : 2020 : Online) Groß, Thomas [editor.] Viganò, Luca [editor.] Series: Lecture notes in computer science ; 12812. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2021]Copyright date: ©2021 Other title: STAST 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Socio-technical aspects in security : 11th international workshop, STAST 2021, virtual event, Ocotber 8, 2021, revised selected papers / Simon Parkin, Luca Viganò (eds.). by Workshop on Socio-technical Aspects in Security and Trust (11th : 2021 : Online) Parkin, Simon [editor.] Viganò, Luca [editor.] Series: Lecture notes in computer science ; 13176. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham, Switzerland : Springer, 2022 Other title: STAST 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha