Sortiert nach
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.365-379
2022
Link zum Volltext
Journal of computer security, 2014-01, Vol.22 (4), p.601-657
2014
Link zum Volltext
Journal of functional programming, 2013-07, Vol.23 (4), p.402-451
2013
Link zum Volltext
Journal of computer security, 2014-04, Vol.22 (4), p.601-657
2014
Link zum Volltext
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.564-578
2023
Link zum Volltext
SIGPLAN notices, 2015-05, Vol.50 (1)
2015
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2)
2011
Link zum Volltext
Journal of computer security, 2008-01, Vol.16 (5), p.573-636
2008
Link zum Volltext
Conference on Computer and Communications Security: Proceedings of the 11th ACM conference on Computer and communications security; 25-29 Oct. 2004, 2004, p.268-277
2004
Link zum Volltext
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 2021, p.523-542
2021
Link zum Volltext
Proceedings of the 2005 workshop on Secure web services, 2005, p.1-9
2005
Link zum Volltext
ACM transactions on information and system security, 2012-03, Vol.15 (1), p.1-32
2012
Link zum Volltext
Trustworthy Global Computing, Vol.4912, p.22-22
Link zum Volltext
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.425-437
2014
Link zum Volltext
SIGPLAN notices, 2010-01, Vol.45 (1), p.445-456
2010
Link zum Volltext
Proceedings of the 2008 ACM symposium on Information, computer and communications security, 2008, p.123-135
2008
Link zum Volltext
ACM transactions on information and system security, 2007-05, Vol.10 (2), p.8
2007
Link zum Volltext
SIGPLAN notices, 2014-01, Vol.49 (1), p.425-437
2014
Link zum Volltext
Electronic notes in theoretical computer science, 2002-12, Vol.70 (4), p.1-20
2002
Link zum Volltext
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, 2005, p.168-168
2005
Link zum Volltext
Annual Symposium on Principles of Programming Languages: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages : Venice, Italy; 14-16 Jan. 2004, 2004, p.198-209
2004
Link zum Volltext
Conference on Computer and Communications Security: Proceedings of the 2004 workshop on Secure web service; 29-29 Oct. 2004, 2004, p.56-66
2004
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
- Formal Analysis
- Formal Verification
Kollektion