Sortiert nach
Principles of Security and Trust, p.126-146
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2), p.1-45
2011
Link zum Volltext
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-29
2017
Link zum Volltext
2017 IEEE Symposium on Security and Privacy (SP), 2017, p.483-502
2017
- Link zum Volltext
Journal of the ACM, 2002-07, Vol.49 (4), p.538-576
2002
Link zum Volltext
Journal of computer security, 2014-01, Vol.22 (4), p.601-657
2014
Link zum Volltext
Proceedings of the 22nd ACM SIGSAC Conference on computer and communications security, 2015, p.5-17
2015
Link zum Volltext
2015 IEEE Symposium on Security and Privacy, 2015, p.535-552
2015
- Link zum Volltext
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.107-124
2022
- Link zum Volltext
2019 IEEE Symposium on Security and Privacy (SP), 2019, p.1256-1274
2019
- Link zum Volltext
2014 IEEE Symposium on Security and Privacy, 2014, p.98-113
2014
Link zum Volltext
2013 IEEE Symposium on Security and Privacy, 2013, p.445-459
2013
Link zum Volltext
2012 IEEE 25th Computer Security Foundations Symposium, 2012, p.247-262
2012
Link zum Volltext
Financial Cryptography and Data Security, p.561-578
Link zum Volltext
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017, p.435-450
2017
Link zum Volltext
2018 IEEE Symposium on Security and Privacy (SP), 2018, p.799-816
2018
- Link zum Volltext
2020 IEEE Symposium on Security and Privacy (SP), 2020, p.983-1002
2020
- Link zum Volltext
2017 IEEE Symposium on Security and Privacy (SP), 2017, p.463-482
2017
- Link zum Volltext
Foundations of Security Analysis and Design VII, 2014, Vol.8604, p.88-123
2014
Link zum Volltext
2016 IEEE Symposium on Security and Privacy (SP), 2016, p.506-525
2016
- Link zum Volltext
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, 2010, p.445-456
2010
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
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Cryptography
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Cryptography And Security
- Software
- Protocols
- Security
- Engineering
- Libraries
- Applied Sciences
- Computer Science; Control Theory; Systems
- Engineering, Electrical & Electronic
- Exact Sciences And Technology
- Web Services
- Cryptographic Protocols
- Servers
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- ACM Digital Library Complete
- IngentaConnect
- IEEE Xplore Digital Library
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- Journals@Ovid
- SpringerLink
Zeitschrift / Serie
- Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Journal Of Computer Security
- Acm Sigplan Notices
- Acm Transactions On Information And System Security
- Communications Of The Acm
- Software Engineering Notes
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design