Sortiert nach
Principles of Security and Trust, p.226-246
Link zum Volltext
2018 IEEE Symposium on Security and Privacy (SP), 2018, p.529-546
2018
- Link zum Volltext
Computer journal, 2016-11, Vol.59 (11), p.1695-1713
2016
Link zum Volltext
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.69-86
2022
- Link zum Volltext
Journal of computer security, 2023-06, p.1-38
2023
Link zum Volltext
Journal of computer security, 2020-01, Vol.28 (1), p.71-127
2020
Link zum Volltext
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022, p.319-334
2022
Link zum Volltext
Logic, Language, and Security, p.127-145
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1001-1027, Article 34
2024
Link zum Volltext
Theoretical computer science, 2013-06, Vol.492, p.1-39
2013
Link zum Volltext
ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-32
2016
Link zum Volltext
Information and computation, 2017-08, Vol.255, p.94-125
2017
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.587-592
Link zum Volltext
Principles of Security and Trust, p.141-163
Link zum Volltext
Principles of Security and Trust, p.280-299
Link zum Volltext
Trustworthy Global Computing, 2015, Vol.8902, p.82-96
2015
Link zum Volltext
Proceedings of the 18th ACM conference on computer and communications security, 2011, p.321-330
2011
Link zum Volltext
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 2023, p.107-121
2023
Link zum Volltext
Principles of Security and Trust, p.324-343
Link zum Volltext
Automated Reasoning, p.412-426
Link zum Volltext
Computer Aided Verification, p.708-723
Link zum Volltext
2012 IEEE 25th Computer Security Foundations Symposium, 2012, p.95-109
2012
Link zum Volltext
PloS one, 2012-10, Vol.7 (10), p.e46876-e46876
2012
Link zum Volltext
PloS one, 2012-06, Vol.7 (6), p.e38499-e38499
2012
Link zum Volltext
Journal of Virology, 2011-08, Vol.85 (15), p.7948-7950
2011
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Humans
- Life Sciences & Biomedicine
- Computer Science
- Technology
- Life Sciences
- Middle Aged
- Male
- Aged
- Computer Science, Theory & Methods
- Female
- Cryptography And Security
- Infectious Diseases
- Mortality
- Critical Care Medicine
- Intensive Care Units
- Risk Factors
- Security Protocol
- Biological And Medical Sciences
- General & Internal Medicine
Kollektion
- Ingenta
- EZB Electronic Journals Library
- IngentaConnect Journals
- Journals@Ovid Full Text
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Explore
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Wiley Online Library Journals Frontfile Complete
- EBSCOhost Business Source Ultimate
- Oxford University Press Journals Current
- NUS Single-Journal Subscriptions
- Ebook Central Perpetual and DDA
- Taylor & Francis E-Journals
- eBooks on EBSCOhost
- EBSCOhost Psychology and Behavioral Sciences Collection
- Oxford Journals 2020 Medicine