DBLP data

CryptoDB
Cryptobib

Holger Hermanns

Google Scholar ORCID: 0000-0002-2766-9615

5 publications in security and cryptology related venues

Year

Venue

Title

2007

conf/dsn

Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.

Holger Hermanns Sven Johr

2003

conf/dsn

ETMCC: Model Checking Performability Properties of Markov Chains.

Holger Hermanns Joost-Pieter Katoen Joachim Meyer-Kayser Markus Siegle

2003

conf/dsn

Cost-Optimization of the IPv4 Zeroconf Protocol.

Henrik C. Bohnenkamp Peter van der Stok Holger Hermanns Frits W. Vaandrager

2003

conf/dsn

On Integrating the MÖBIUS and MODEST Modeling Tools.

Henrik C. Bohnenkamp Tod Courtney David Daly Salem Derisavi Holger Hermanns Joost-Pieter Katoen Ric Klaren Vinh Vi Lam William H. Sanders

2002

conf/dsn

Model Checking Performability Properties.

Boudewijn R. Haverkort Lucia Cloth Holger Hermanns Joost-Pieter Katoen Christel Baier

Coauthors

Boudewijn R. Haverkort (1)

Christel Baier (1)

David Daly (1)

Frits W. Vaandrager (1)

Henrik C. Bohnenkamp (2)

Holger Hermanns (5)

Joachim Meyer-Kayser (1)

Joost-Pieter Katoen (3)

Lucia Cloth (1)

Markus Siegle (1)

Peter van der Stok (1)

Ric Klaren (1)

Salem Derisavi (1)

Sven Johr (1)

Tod Courtney (1)

Vinh Vi Lam (1)

William H. Sanders (1)

Filters

Crypto

Eurocrypt

Asiacrypt

Public Key Cryptography

Theory of Cryptography

Journal of Cryptology

Transactions on Symmetric Cryptology

Transactions on Cryptographic Hardware and Embedded Computing

Communications in Cryptology

Fast Software Encryption

Cryptographic Hardware and Embedded Computing Conference

Usenix Security

IEEE Security and Privacy

ACM CCS

Network and Distributed System Security

Financial cryptography

Cryptographer's Track at RSA Conference (CT-RSA)

ESORICS

IEEE Transactions on Information Forensics and Security

Computers & Security

Journal of Information Security and Applications

IEEE Conference on Blockchains and Cryptocurrency (ICBC)

Asia CCS

European Security & privacy

Symposium on Useful Privacy and Security

Privacy Enhancing Technologies

Security and Privacy in Communication Networks

Cryptology and Network Security

Annual Computer Security Applications Conference

Dependable Systems and Networks

IEEE Computer Security Foundations Workshop

IEEE Conference and Communications and Network Security

International Conference on Applied Cryptography and Network Security

Selected Areas in Cryptology

International Conference on Information Security and Cryptology (ICISC)

International Conference on Information and Communication (ICICS)

IFIP International Information Security Conference (SEC)

Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)

IEEE International Symposium on Hardware Oriented Security and Trust

New Security Paradigms Workshop

Information Hiding and Multimedia Security Workshop

Australasian Conference on Information Security and Privacy

AfricaCrypt

LatinCrypt

International Conference on Cyber Security and Resilience

Asia Joint Conference on information Security

International Conference on information Security Applications

ACM Asia Public-Key Cryptography Workshop

International Workshop on Lightweight Cryptography for Security and Privacy

Workshop on Fault Detection and Tolerance in Cryptography

International Conference on Blockchain Technology and Emerging Technologies

Provable Security

Cloud Computing Security Workshop (CCSW)

International Workshop on Security (IWSEC)

International Conference on Information System Security (ICISS)

Select all Unselect all

Years: to