Sortiert nach
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
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
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
ACM transactions on programming languages and systems, 2008-12, Vol.31 (1), p.1-61
2008
Link zum Volltext
SIGPLAN notices, 2015-05, Vol.50 (1)
2015
Link zum Volltext
ACM transactions on programming languages and systems, 2008-10, Vol.30 (6), p.1-59
2008
Link zum Volltext
SIGPLAN notices, 2016-04, Vol.51 (1), p.256-270
2016
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2)
2011
Link zum Volltext
ACM transactions on programming languages and systems, 2009, Vol.31 (1)
2009
Link zum Volltext
IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.129-145
2002
- Link zum Volltext
Journal of computer security, 2008-01, Vol.16 (5), p.573-636
2008
Link zum Volltext
Theoretical computer science, 2005, Vol.340 (1), p.102-153
2005
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
Formal Methods for Components and Objects, 2004, p.197-222
2004
Link zum Volltext
Cryptographic Verification by Typing for a Sample Protocol Implementation, 2011, Vol.6858, p.66-100
2011
Link zum Volltext
Proceedings of the 2005 workshop on secure web services, 2005, p.1-9
2005
Link zum Volltext
SIGPLAN notices, 2011-09, Vol.46 (9), p.266-278
2011
Link zum Volltext
ACM transactions on information and system security, 2012-03, Vol.15 (1), p.1-32
2012
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Cryptography
- Computer Science, Software Engineering
- Software
- Cryptography And Security
- Software Engineering
- Web Services
- Security
- Xml Security
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Programming Languages
- Computer Science, Information Systems
- Information, Signal And Communications Theory
- Signal And Communications Theory
- Telecommunications And Information Theory
- Computer Networks
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- ACM Digital Library
- Ingenta
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
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
- Software Engineering Notes
- Electronic Notes In Theoretical Computer Science
- Ieee Security & Privacy
- Ieee Transactions On Software Engineering
- Journal Of Functional Programming