Hybrid Information Flow Control for Low-Level Code

AuthID
P-00V-Z5H
3
Author(s)
Geraldo, E
·
Santos, JF
·
2
Editor(es)
Calinescu,R;Pasareanu,CS
Tipo de Documento
Proceedings Paper
Year published
2021
Publicado
in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13085, Páginas: 141-159 (19)
Conference
19Th International Conference on Software Engineering and Formal Methods (Sefm), Date: DEC 06-10, 2021, Location: ELECTR NETWORK, Patrocinadores: Carnegie Mellon Univ, Assuring Auton Int Programme,Nazarbayev Univ,Univ York,UKRI Trustworthy Autonomous Sys Node Resilience
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85121915280
Wos: WOS:000850998600009
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.