Securing verified IO programs against unverified code in F∗
author
Andrici, Cezar-Constantin
Ciobâca, Stefan
Hriţcu, Catalin
Martínez, Guido
Rivas Gadda, Exequiel Matías
Tanter, Éric
Winterhalter, Théo
statement of authorship
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
source
Proceedings of the ACM on programming languages
publisher
ACM
journal volume number month
vol. 8, POPL
year of publication
2024
pages
art. 74, 34 p. : ill
url
https://doi.org/10.1145/3632916
subject term
arvutiprogrammid
programmeerimine
veebiserverid
sisend-väljund analüüs
keyword
formal verification
input-output
proof assistants
secure compilation
ISSN
2475-1421
notes
Bibliogr.: 92 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/record/display.uri?eid=2-s2.0-85183076604&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Securing+verified+IO+programs+against+unverified+code+in+F*%22%29&sessionSearchId=720044c030ecd4be2c873494c1a60274&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001170729400075
category (general)
Engineering
Tehnika
Computer science
Arvutiteadus
category (sub)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
Arvutiteadus. Tarkvara
TalTech department
tarkvarateaduse instituut
language
inglise