Sortiert nach
Computer Security – ESORICS 2023, p.3-21
Link zum Volltext
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.564-578
2023
Link zum Volltext
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.365-379
2022
Link zum Volltext
Protocols, Strands, and Logic, 2021, p.77-97
2021
Link zum Volltext
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 2021, p.523-542
2021
Link zum Volltext
SIGPLAN notices, 2015-05, Vol.50 (1)
2015
Link zum Volltext
Journal of computer security, 2014-04, Vol.22 (4), p.601-657
2014
Link zum Volltext
SIGPLAN notices, 2014-01, Vol.49 (1), p.425-437
2014
Link zum Volltext
Journal of computer security, 2014-01, Vol.22 (4), p.601-657
2014
Link zum Volltext
Foundations of Security Analysis and Design VII, 2014, Vol.8604, p.88-123
2014
Link zum Volltext
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.425-437
2014
Link zum Volltext
Journal of functional programming, 2013-07, Vol.23 (4), p.402-451
2013
Link zum Volltext
Engineering Secure Software and Systems, p.42-57
Link zum Volltext
ACM transactions on information and system security, 2012-03, Vol.15 (1), p.1-32
2012
Link zum Volltext
Cryptographic Verification by Typing for a Sample Protocol Implementation, 2011, Vol.6858, p.66-100
2011
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2)
2011
Link zum Volltext
SIGPLAN notices, 2010-01, Vol.45 (1), p.445-456
2010
Link zum Volltext
Journal of computer security, 2008-01, Vol.16 (5), p.573-636
2008
Link zum Volltext
Proceedings of the 2008 ACM symposium on Information, computer and communications security, 2008, p.123-135
2008
Link zum Volltext
Trustworthy Global Computing, Vol.4912, p.22-22
Link zum Volltext
ACM transactions on information and system security, 2007-05, Vol.10 (2), p.8
2007
Link zum Volltext
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, 2005, p.168-168
2005
Link zum Volltext
Proceedings of the 2005 workshop on Secure web services, 2005, p.1-9
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Cryptography And Security
- Computer Science, Software Engineering
- Web Services
- Xml Security
- Computer Science, Information Systems
- Security
- Verification
- Cryptography
- Mathematical Models
- Networks -- Network Protocols
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Applied Pi Calculus
- Compilers
- Computer Information Security
- Computer Systems Organization -- Dependable And Fault-Tolerant Systems And Networks
- Cryptographic Protocols
- Formal Analysis
Kollektion