Thanh Binh Nguyen

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Security Services

Automated Design

Cryptographic Algorithms

Top Venues

J. Comput. Secur.

Notre Dame J. Formal Log.

Publications

Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers
Abstractions for security protocol verification. J. Comput. Secur. 26 (4) (2018)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. 57 (4) (2016)
Thanh Binh Nguyen, Christoph Sprenger
Abstractions for Security Protocol Verification. POST (2015)
Thanh Binh Nguyen, Christoph Sprenger
Sound Security Protocol Transformations. POST (2013)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept. Description Logics (2011)
Thanh Binh Nguyen
Decidability of Unification in EL without Top Constructor. RR (2011)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
without the Top Concept. CADE (2011)