Skip to contents Aggarwal, Divesh [Author] ; Basin, David A. [Contributor]; Maurer, Ueli [Contributor] Security proofs in number theoretic cryptography Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2012 Rudich, Arsenii [Author] ; Basin, David A. [Contributor]; Müller, Peter [Contributor] Automatic verification of heap structures with stereotypes Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011 Karame, Ghassan O. [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor] New Primitives for Secure Resource and Computation Verification Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011 Danev, Boris D. [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor] Physical-Layer Identification of Wireless Devices Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011 Schaller, Patrick [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor] Security Protocols for Wireless Networks and their Formal Analysis Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2010 Wintersteiger, Christoph M. [Author] ; Basin, David A. [Contributor]; Kröning, Daniel [Contributor] Termination Analysis for Bit-Vector Programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011 Müller, Samuel [Author] ; Pfitzmann, Birgit [Contributor]; Basin, David A. [Contributor] Theory and applications of runtime monitoring metric first-order temporal logic Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2009 Leitner, Andreas E. [Author] ; Basin, David A. [Contributor]; Meyer, Bertrand [Contributor] Contract-based tests in the software process and environment Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2008 Köpf, Boris Alexander [Author] ; Sabelfeld, Andrei [Contributor]; Basin, David A. [Contributor] Formal approaches to countering side-channel attacks Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007 Brucker, Achim D. [Author] ; Hähnle, Reiner [Contributor]; Basin, David A. [Contributor] An interactive proof environment for object-oriented specifications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007 Mödersheim, Sebastian A. [Author] ; Armando, Alessandro [Contributor]; Basin, David A. [Contributor] Models and methods for the automated analysis of security protocols Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007 Sevinç, Paul Ersin [Author] ; Karjoth, Günter [Contributor]; Basin, David A. [Contributor] Securing information by controlling access to data in documents Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007 Hilty, Manuel [Author] ; Basin, David A. [Contributor]; Kossmann, Donald [Contributor] Specification and enforcement in distributed usage control Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007 Bidder, Diana von [Author] ; Basin, David A. [Contributor]; Caronni, G. [Contributor] Specification-based Firewall Testing Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007 Wahler, Michael S. [Author] ; Basin, David A. [Contributor]; Müller, Peter [Contributor] Using patterns to develop consistent design constraints Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2008 Basin, David A. [Author]; Sprenger, Christoph [Author] Developing Security Protocols by Refinement Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, Institute of Information Security, 2013 Published in: Technical Report / ETH Zurich, Department of Computer Science, 787 Maretić, Grgur P. [Author] ; Torabi Dashti, Mohammad [Contributor]; Basin, David A. [Contributor] Anchored Separation of Linear Temporal Logic and its Applications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH-Zürich, 2015 Frau, Simone [Author] ; Basin, David A. [Contributor]; Guttman, Joshua D. [Contributor] Analysis of reachability properties in communicating authorization policies Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2012 Streich, Andreas P. [Author] ; Basin, David A. [Contributor]; Buhmann, Joachim M. [Contributor] Multi-Label Classification and Clustering for Acoustics and Computer Security Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2010 Frank, Mario [Author] ; Basin, David A. [Contributor]; Buhmann, Joachim M. [Contributor] Probabilistic Role Mining Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011
Aggarwal, Divesh [Author] ; Basin, David A. [Contributor]; Maurer, Ueli [Contributor] Security proofs in number theoretic cryptography Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2012
Rudich, Arsenii [Author] ; Basin, David A. [Contributor]; Müller, Peter [Contributor] Automatic verification of heap structures with stereotypes Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011
Karame, Ghassan O. [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor] New Primitives for Secure Resource and Computation Verification Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011
Danev, Boris D. [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor] Physical-Layer Identification of Wireless Devices Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011
Schaller, Patrick [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor] Security Protocols for Wireless Networks and their Formal Analysis Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2010
Wintersteiger, Christoph M. [Author] ; Basin, David A. [Contributor]; Kröning, Daniel [Contributor] Termination Analysis for Bit-Vector Programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011
Müller, Samuel [Author] ; Pfitzmann, Birgit [Contributor]; Basin, David A. [Contributor] Theory and applications of runtime monitoring metric first-order temporal logic Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2009
Leitner, Andreas E. [Author] ; Basin, David A. [Contributor]; Meyer, Bertrand [Contributor] Contract-based tests in the software process and environment Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2008
Köpf, Boris Alexander [Author] ; Sabelfeld, Andrei [Contributor]; Basin, David A. [Contributor] Formal approaches to countering side-channel attacks Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007
Brucker, Achim D. [Author] ; Hähnle, Reiner [Contributor]; Basin, David A. [Contributor] An interactive proof environment for object-oriented specifications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007
Mödersheim, Sebastian A. [Author] ; Armando, Alessandro [Contributor]; Basin, David A. [Contributor] Models and methods for the automated analysis of security protocols Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007
Sevinç, Paul Ersin [Author] ; Karjoth, Günter [Contributor]; Basin, David A. [Contributor] Securing information by controlling access to data in documents Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007
Hilty, Manuel [Author] ; Basin, David A. [Contributor]; Kossmann, Donald [Contributor] Specification and enforcement in distributed usage control Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007
Bidder, Diana von [Author] ; Basin, David A. [Contributor]; Caronni, G. [Contributor] Specification-based Firewall Testing Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2007
Wahler, Michael S. [Author] ; Basin, David A. [Contributor]; Müller, Peter [Contributor] Using patterns to develop consistent design constraints Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2008
Basin, David A. [Author]; Sprenger, Christoph [Author] Developing Security Protocols by Refinement Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, Institute of Information Security, 2013 Published in: Technical Report / ETH Zurich, Department of Computer Science, 787
Maretić, Grgur P. [Author] ; Torabi Dashti, Mohammad [Contributor]; Basin, David A. [Contributor] Anchored Separation of Linear Temporal Logic and its Applications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH-Zürich, 2015
Frau, Simone [Author] ; Basin, David A. [Contributor]; Guttman, Joshua D. [Contributor] Analysis of reachability properties in communicating authorization policies Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2012
Streich, Andreas P. [Author] ; Basin, David A. [Contributor]; Buhmann, Joachim M. [Contributor] Multi-Label Classification and Clustering for Acoustics and Computer Security Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2010
Frank, Mario [Author] ; Basin, David A. [Contributor]; Buhmann, Joachim M. [Contributor] Probabilistic Role Mining Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, 2011
> Media type Skip to next facet Thesis (35) Wert ausschließen Books (25) Wert ausschließen Articles (19) Wert ausschließen Conference Proceedings (6) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (61) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (65) Wert ausschließen Without Specification (16) Wert ausschließen Show more show less
> Language Skip to next facet English (73) Wert ausschließen Not determined (12) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (64) Wert ausschließen Mathmatics (8) Wert ausschließen Medicine (1) Wert ausschließen Philosophy (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Basin, David A. (79) Wert ausschließen Capkun, Srdjan (9) Wert ausschließen Basin, David (6) Wert ausschließen Müller, Peter (5) Wert ausschließen Tsankov, Petar (5) Wert ausschließen Clavel, Manuel (4) Wert ausschließen Dania, Carolina (4) Wert ausschließen Karjoth, Günter (4) Wert ausschließen Torabi Dashti, Mohammad (4) Wert ausschließen Burri, Samuel J. (3) Wert ausschließen Cremers, Cas (3) Wert ausschließen Egea, Marina (3) Wert ausschließen Maurer, Ueli (3) Wert ausschließen Meier, Simon (3) Wert ausschließen Mödersheim, Sebastian (3) Wert ausschließen Schaller, Patrick (3) Wert ausschließen Schläpfer, Michael (3) Wert ausschließen Viganò, Luca (3) Wert ausschließen Walsh, Toby (3) Wert ausschließen Bidder, Diana von (2) Wert ausschließen Buhmann, Joachim M. (2) Wert ausschließen Caleiro, Carlos (2) Wert ausschließen Caronni, Germano (2) Wert ausschließen Conchinha, Bruno (2) Wert ausschließen Doser, Jürgen (2) Wert ausschließen García de Dios, Miguel A. (2) Wert ausschließen Harvan, Matúš (2) Wert ausschließen Klaedtke, Felix (2) Wert ausschließen Köpf, Boris Alexander (2) Wert ausschließen Lodderstedt, Torsten (2) Wert ausschließen Ortiz, Gonzalo (2) Wert ausschließen Reardon, Joel (2) Wert ausschließen Schmidt, Benedikt (2) Wert ausschließen Sprenger, Christoph (2) Wert ausschließen Valdazo, Javier (2) Wert ausschließen Aagaard, P. (1) Wert ausschließen Aakhus, S. (1) Wert ausschließen Abadi, S. (1) Wert ausschließen Abbara, S. (1) Wert ausschließen Abbate, R. (1) Wert ausschließen Abdallah, Y. (1) Wert ausschließen Abdel Wahab, R. (1) Wert ausschließen Abdel-Wahab, M. (1) Wert ausschließen Abdelhay, M. A. (1) Wert ausschließen Abdelrasoul, M. (1) Wert ausschließen Abdennadher, M. M. (1) Wert ausschließen Abe, D. (1) Wert ausschließen Abe, M. (1) Wert ausschließen Abecasis, M. (1) Wert ausschließen Abergel, E. (1) Wert ausschließen Abi Akar, R. (1) Wert ausschließen Abid, D. (1) Wert ausschließen Abid, L. (1) Wert ausschließen Abildstroem, S. Z. (1) Wert ausschließen Abitz Winther, S. (1) Wert ausschließen Ablasser, K. (1) Wert ausschließen Aboelenen, F. (1) Wert ausschließen Aboyans, V. (1) Wert ausschließen Abreu-Afonso, J. (1) Wert ausschließen Abreu-Gonzalez, P. (1) Wert ausschließen Abrial, Jean-Raymond (1) Wert ausschließen Abtan, J. (1) Wert ausschließen Abu Assi, E. (1) Wert ausschließen Abu-Assi, E. (1) Wert ausschließen Abu-Samra, R. (1) Wert ausschließen Abuhav, Y. (1) Wert ausschließen Achenbach, S. (1) Wert ausschließen Achouh, P. (1) Wert ausschließen Adachi, H. (1) Wert ausschließen Adachi, T. (1) Wert ausschließen Adam, M. (1) Wert ausschließen Adams, V. (1) Wert ausschließen Adavane, S. (1) Wert ausschließen Adin-Cristian, A. (1) Wert ausschließen Adlbrecht, C. (1) Wert ausschließen Adorni, M. P. (1) Wert ausschließen Adragao, P. (1) Wert ausschließen Afilalo, J. (1) Wert ausschließen Agapito, A. (1) Wert ausschließen Agati, L. (1) Wert ausschließen Agbo, C. (1) Wert ausschließen Agelaki, M. G. (1) Wert ausschließen Ageno, W. (1) Wert ausschließen Ageron, F. X. (1) Wert ausschließen Agewall, S. (1) Wert ausschließen Aggarval, S. (1) Wert ausschließen Aggarwal, Divesh (1) Wert ausschließen Aggelakas, A. (1) Wert ausschließen Aggeli, C. (1) Wert ausschließen Aggelis, A. (1) Wert ausschließen Agha, H. (1) Wert ausschließen Agnelli, G. (1) Wert ausschließen Agostoni, P. G. (1) Wert ausschließen Agra Bermejo, R. (1) Wert ausschließen Agrawal, S. (1) Wert ausschließen Agrinier, N. (1) Wert ausschließen Agrogiannis, G. (1) Wert ausschließen Agrotis, A. (1) Wert ausschließen Aguirre, F. (1) Wert ausschließen Aguirre, J. M. (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (62) Wert ausschließen ETH Zürich Research Collection (61) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (9) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (3) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen Springer New York (CrossRef) (1) Wert ausschließen Show more show less