المؤلفون: Pereira, João C., Klenze, Tobias, Giampietro, Sofia, Limbeck, Markus, Spiliopoulos, Dionysios, Wolf, Felix A., Eilers, Marco, Sprenger, Christoph, Basin, David, Müller, Peter, Perrig, Adrian

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Networking and Internet Architecture, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2405.06074Test

المؤلفون: Sprenger, Christoph, Klenze, Tobias, Eilers, Marco, Wolf, Felix A., Müller, Peter, Clochard, Martin, Basin, David

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2010.04749Test

المؤلفون: Klenze, Tobias, Sprenger, Christoph, Basin, David, id_orcid:0 000-0003-2952-939X

المصدر: 2021 IEEE 34th Computer Security Foundations Symposium (CSF)

مصطلحات موضوعية: network-security, security-protocols, Isabelle/HOL, formal-verification, data-plane, parametrized-verification

وصف الملف: application/application/pdf

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-7281-7607-9; info:eu-repo/semantics/altIdentifier/wos/000719322000021; http://hdl.handle.net/20.500.11850/468370Test; urn:isbn:978-1-7281-7607-9

الإتاحة: https://doi.org/20.500.11850/468370Test
https://doi.org/10.3929/ethz-b-000468370Test
https://doi.org/10.1109/CSF51468.2021.00018Test
https://hdl.handle.net/20.500.11850/468370Test

المؤلفون: Klenze, Tobias¹ (AUTHOR) tobias.klenze@inf.ethz.ch, Sprenger, Christoph¹ (AUTHOR) sprenger@inf.ethz.ch, Basin, David¹ (AUTHOR) basin@inf.ethz.ch

المصدر: Journal of Computer Security. 2023, Vol. 31 Issue 3, p217-259. 43p.

مصطلحات موضوعية: *COMPUTER network protocols, *DATA security, *OPENFLOW (Computer network protocol), *PROBLEM solving, SELF-efficacy, COMMUNITIES

المؤلفون: Klenze, Tobias, Giuliari, Giacomo, Pappas, Christos, Perrig, Adrian, Basin, David

المصدر: Proceedings of the 17th ACM Workshop on Hot Topics in Networks

الإتاحة: https://doi.org/10.1145/3286062.3286066Test

المؤلفون: Klenze, Tobias

المساهمون: Basin, David, Perrig, Adrian, Sprenger, Christoph, Cortier, Véronique

مصطلحات موضوعية: Security protocol verification, Formal verification, Generalities, science, Network Protocols, Security protocol, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, ddc:000

وصف الملف: application/application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e17d133ad11a045bb7c07e2f9dd59499Test
https://hdl.handle.net/20.500.11850/506662Test

المؤلفون: Klenze, Tobias, Sprenger, Christoph, Basin, David

مصطلحات موضوعية: formal verification, refinement, security protocol, security protocol verification, data plane, future internet, path authorization

العلاقة: https://zenodo.org/communities/verificationTest; https://zenodo.org/record/4515953Test; https://doi.org/10.5281/zenodo.4515953Test; oai:zenodo.org:4515953

الإتاحة: https://doi.org/10.5281/zenodo.4515953Test
https://doi.org/10.5281/zenodo.4515952Test
https://zenodo.org/record/4515953Test

المؤلفون: Giuliari, Giacomo, Klenze, Tobias, Legner, Markus, Basin, David, Perrig, Adrian, Singla, Ankit

المصدر: ACM SIGCOMM Computer Communication Review ; volume 50, issue 1, page 25-37 ; ISSN 0146-4833

الإتاحة: https://doi.org/10.1145/3390251.3390256Test

المؤلفون: Klenze, Tobias, Bayless, Sam, Hu, Alan J.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 136-156 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319415277 9783319415284

الإتاحة: https://doi.org/10.1007/978-3-319-41528-4_8Test

المؤلفون: Klenze, Tobias

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::df94d987fbe128d8b20eedad63e6702eTest