onr:"swepub:oai:research.chalmers.se:6c992c40-5aab-49ff-8610-8a2ce2dfdaaa"
Sökning: onr:"swepub:oai:research.chalmers.se:6c992c40-5aab-49ff-8610-8a2ce2dfdaaa" > Dynamic IFC Theorem...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Algehed, Maximilian,1995Chalmers tekniska högskola,Chalmers University of Technology (författare)
Dynamic IFC Theorems for Free!
- Artikel/kapitelEngelska2021
Förlag, utgivningsår, omfång ...
- IEEE,2021
Nummerbeteckningar
- LIBRIS-ID:oai:research.chalmers.se:6c992c40-5aab-49ff-8610-8a2ce2dfdaaa
- https://research.chalmers.se/publication/527705URI
- https://doi.org/10.1109/CSF51468.2021.00005DOI
- https://gup.ub.gu.se/publication/295605URI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- We show that noninterference and transparency, the key soundness theorems for dynamic IFC libraries, can be obtained "for free", as direct consequences of the more general parametricity theorem of type abstraction. This allows us to give very short soundness proofs for dynamic IFC libraries such as faceted values and LIO. Our proofs stay short even when fully mechanized for Agda implementations of the libraries in terms of type abstraction.
Ämnesord och genrebeteckningar
- NATURVETENSKAP Matematik Algebra och logik hsv//swe
- NATURAL SCIENCES Mathematics Algebra and Logic hsv//eng
- NATURVETENSKAP Kemi Teoretisk kemi hsv//swe
- NATURAL SCIENCES Chemical Sciences Theoretical Chemistry hsv//eng
- NATURVETENSKAP Matematik Matematisk analys hsv//swe
- NATURAL SCIENCES Mathematics Mathematical Analysis hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Bernardy, Jean-Philippe,1978Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science(Swepub:gu)xbejea (författare)
- Hritcu, CatalinMax-Planck-Institut für Sicherheit und Privatsphäre,Max Planck Institute for Security and Privacy (författare)
- Chalmers tekniska högskolaInstitutionen för filosofi, lingvistik och vetenskapsteori (creator_code:org_t)
Sammanhörande titlar
- Ingår i:2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021): IEEE, s. 65-782374-83031940-14349781728176079
Internetlänk
Hitta via bibliotek
- 2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021) (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Algehed, Maximil ...
- Bernardy, Jean-P ...
- Hritcu, Catalin
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Matematik
- och Algebra och logi ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Kemi
- och Teoretisk kemi
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Matematik
- och Matematisk analy ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- 2021 IEEE 34TH C ...
- Av lärosätet
- Chalmers tekniska högskola
- Göteborgs universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
