Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...


Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Link zum Volltext

2022 IEEE Symposium on Security and Privacy (SP), 2022, p.666-680
2022

Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.2844-2857
2021
Link zum Volltext






Open Access
Liquid information flow control
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-30
2020
Link zum Volltext

Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-31
2019
Link zum Volltext


2017 IEEE Symposium on Security and Privacy (SP), 2017, p.559-578
2017

Journal of functional programming, 2017, Vol.27 (e5), p.1-56, Article e5
2017
Link zum Volltext

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.1369-1382
2018
Link zum Volltext



Computers & security, 2012-02, Vol.31 (1), p.109-121
2012
Link zum Volltext



Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.429-444
2021
Link zum Volltext


Information Security and Cryptology, p.230-247
Link zum Volltext

Principles of Security and Trust, Prague, Czech Republic, 2019, Vol.11426 LNCS, p.1
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt