Skip to contents

Basin, David [Other]; Basin, David A. [Editor] ; TPHOLs 16 2003 Rom

Theorem proving in higher order logics : 16th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2758
Basin, David [Author]; Schaller, Patrick [Author]; Schläpfer, Michael [Author] ; Basin, David A. [Other]

Applied information security : a hands-on approach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidleberg [u.a.]: Springer, 2011
Basin, David A. [Editor] ; IJCAR 2 2004 Cork

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4 - 8, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3097
Basin, David A. [Editor]

Labelled deduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Academic Publishers, 2000

Published in: Applied logic series ; 17
Montalto, Bruno C. [Author] ; Basin, David A. [Contributor]

Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/96309

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Harvan, Matus [Author] ; Basin, David A. [Contributor]

Scalable Monitoring of Concurrent Systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72913

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2013
Marić, Ognjen [Author] ; Merz, Stephan [Contributor]; Basin, David A. [Contributor]

Formal Verification of Fault-Tolerant Systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/130815

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2017
Tsankov, Petar [Author] ; Basin, David A. [Contributor]; Bauer, Lujo [Contributor]

Access Control with Formal Security Guarantees

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/125291

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2016
Demay, Grégory [Author] ; Basin, David A. [Contributor]; Maurer, Ueli [Contributor]

Cryptographic Constructions of Randomness Resources

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/119228

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2016
Schläpfer, Michael [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor]

Secure end-to-end communication in remote internet voting

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/155693

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2016
Favre, Cédric [Author] ; Basin, David A. [Contributor]; Müller, Peter [Contributor]

Detecting, Understanding, and Fixing Control-Flow Errors in Business Process Models

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/111827

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Fürst, Andreas [Author] ; Basin, David A. [Contributor]; Butler, Michael [Contributor]

Formal development of a train control system using Event-B

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/155331

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2015
Reardon, Joel [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor]

Secure Data Deletion

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/99993

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Feltz, Michèle [Author] ; Cremers, Cas [Contributor]; Basin, David A. [Contributor]

Strengthening the security of key exchange protocols

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/84662

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Meier, Simon [Author] ; Basin, David A. [Contributor]; Maurer, Ueli [Contributor]

Advancing automated security protocol verification

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/66840

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2013
Schmidt, Benedikt [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor]

Formal analysis of key exchange protocols and physical protocols

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72713

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012
Schmalz, Matthias [Author] ; Jones, Cliff [Contributor]; Basin, David A. [Contributor]

Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/64337

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012
Brügger, Lukas Alexander [Author] ; Basin, David A. [Contributor]; Müller, Peter [Contributor]

A framework for modelling and testing of security policies

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/58551

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012
Burri, Samuel J. [Author] ; Karjoth, Günter [Contributor]; Basin, David A. [Contributor]

Modeling and Enforcing Workflow Authorizations

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72821

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012
Zanetti, Davide [Author] ; Basin, David A. [Contributor]; Capkun, Srdjan [Contributor]

RFID Authentication: New Techniques and Privacy Implications

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72852

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication