Sortiert nach
Computer Aided Verification, p.696-701
Volltextzugriff (PDF)
Journal of cryptology, 2020-10, Vol.33 (4), p.1914-1983
2020
Volltextzugriff (PDF)
Computer Security – ESORICS 2011, p.315-334
Volltextzugriff (PDF)
Journal of computer security, 2019-01, Vol.27 (2), p.203-232
2019
Volltextzugriff (PDF)
International journal of information security, 2016-11, Vol.15 (6), p.659-673
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.414-418
Volltextzugriff (PDF)
1st Edition 2018, 2018
Volltextzugriff (PDF)
Computer Security – ESORICS 2012, p.734-751
Volltextzugriff (PDF)
Proceedings of the 15th ACM conference on Computer and communications security, 2008, p.119-128
2008
Volltextzugriff (PDF)
Journal of computer security, 2013-12, Vol.21 (6), p.817-846
2013
Volltextzugriff (PDF)
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.78-7815
2019
Volltextzugriff (PDF)
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, p.9-10
2018
Volltextzugriff (PDF)
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017, p.451-466
2017
Volltextzugriff (PDF)
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016, p.164-178
2016
Volltextzugriff (PDF)
Applied Cryptography and Network Security, p.20-33
Volltextzugriff (PDF)
2021 IEEE Symposium on Security and Privacy (SP), 2021, p.777-795
2021
Volltextzugriff (PDF)
2023 IEEE Symposium on Security and Privacy (SP), 2023, p.1471-1490
2023
Volltextzugriff (PDF)
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 2023, p.200-213
2023
Volltextzugriff (PDF)
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.125-141
2022
Volltextzugriff (PDF)
2021 IEEE Symposium on Security and Privacy (SP), 2021, p.1659-1676
2021
Volltextzugriff (PDF)
Journal of computer security, 2013-01, Vol.21 (6), p.817-846
2013
Volltextzugriff (PDF)
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.1802-1819
2018
Volltextzugriff (PDF)
Designs, codes, and cryptography, 2015-01, Vol.74 (1), p.183-218
2015
Volltextzugriff (PDF)
Designs, codes, and cryptography, 2018-03, Vol.86 (3), p.481-516
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Protocols
- Computer Security
- Security
- Cryptography
- Engineering
- Security Protocols
- Engineering, Electrical & Electronic
- Privacy
- Computer Science, Software Engineering
- Security Property
- Mathematics
- Security Protocol
- Software
- Telecommunications
- Authentication
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore
- SpringerLink Series
- ACM Digital Library Complete
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals - AutoHoldings
- The Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- RCN full-text journals@Ovid
- IngentaConnect Journals
Zeitschrift / Serie
- Journal Of Computer Security
- Ieee Security & Privacy
- Designs, Codes And Cryptography
- Designs, Codes, And Cryptography
- Electronic Notes In Theoretical Computer Science
- International Journal Of Information Security
- Acm Transactions On Information And System Security
- Communications Of The Acm
- Ieee Transactions On Dependable And Secure Computing
- Ieee Transactions On Dependable And Secure Computing/ieee Transactions On Dependable And Secure Computing