Securing verified IO programs against unverified code in F∗
autor
Andrici, Cezar-Constantin
Ciobâca, Stefan
Hriţcu, Catalin
Martínez, Guido
Rivas Gadda, Exequiel Matías
Tanter, Éric
Winterhalter, Théo
vastutusandmed
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
allikas
Proceedings of the ACM on programming languages
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 8, POPL
ilmumisaasta
2024
leheküljed
art. 74, 34 p. : ill
leitav
https://doi.org/10.1145/3632916
märksõna
arvutiprogrammid
programmeerimine
veebiserverid
sisend-väljund analüüs
võtmesõna
formal verification
input-output
proof assistants
secure compilation
ISSN
2475-1421
märkused
Bibliogr.: 92 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Engineering
Tehnika
Computer science
Arvutiteadus
kategooria (alam)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
Arvutiteadus. Tarkvara
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise