Sortiert nach
ACM transactions on privacy and security, 2021-08, Vol.24 (3), p.1-40
2021
Link zum Volltext
Secure IT Systems, 2013, p.84-99
2013
Link zum Volltext
Computer Security – ESORICS 2016, 2016, Vol.9878 LNCS, 2016, p.561-580
2016
Link zum Volltext
Lecture notes in computer science, 2010, Vol.6340 (PART 1), p.261-297
2010
Link zum Volltext
Proceedings of CCS’14, November 3–7, 2014, Scottsdale, Arizona, USA, 2014, p.1080-1091
2014
Link zum Volltext
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019, p.45
2019
Link zum Volltext
Protocols, Strands, and Logic, 2021, Vol.13066, p.1-21
2021
Link zum Volltext
Journal of logical and algebraic methods in programming, 2017-08, Vol.90, p.125-157
2017
Link zum Volltext
2019 IEEE International Conference on Software Architecture (ICSA), 2019, p.191-200
2019
Link zum Volltext
2021 IEEE Secure Development Conference (SecDev), 2021, p.94-102
2021
Link zum Volltext
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS), 2021, p.102-113
2021
Link zum Volltext
2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 2022, p.448-466
2022
Link zum Volltext
2021 IEEE Secure Development Conference (SecDev), 2021, p.71-78
2021
Link zum Volltext
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019, p.79-94
2019
Link zum Volltext
2016 IEEE European Symposium on Security and Privacy (EuroS and P), 2016, p.15-30
2016
- Link zum Volltext
In proc. of th 4e ACM SIGPLAN workshop on Programming Languages and Analysis for Security, 2011, p.1-12
2011
Link zum Volltext
PLAS'09, 2009, p.59-71
2009
Link zum Volltext
SIGPLAN notices, 2009-08, Vol.44 (8), p.5-5
2009
Link zum Volltext
2012 IEEE 25th Computer Security Foundations Symposium, 2012, p.30-44
2012
Link zum Volltext
IEEE security & privacy, 2019-09, Vol.17 (5), p.22-29
2019
- Link zum Volltext
IEEE security & privacy, 2023-11, Vol.21 (6), p.12-23
2023
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Security
- Declassification
- Java
- Engineering
- Engineering, Electrical & Electronic
- Epistemic Logic
- Information Flow Control
- Internet Of Things
- Privacy
- Social Networking
- Software
- Access Control
- Active Attackers
- Computational Modeling
Kollektion