Folgen
Johan Bay
Johan Bay
Aarhus University
Bestätigte E-Mail-Adresse bei cs.au.dk
Titel
Zitiert von
Zitiert von
Jahr
Mechanized logical relations for termination-insensitive noninterference
SO Gregersen, J Bay, A Timany, L Birkedal
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
172021
Reconciling progress-insensitive noninterference and declassification
J Bay, A Askarov
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 95-106, 2020
52020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2