( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Separation Logic for Enforcing Declarative Information Flow Control Policies.

, и . POST, том 8414 из Lecture Notes in Computer Science, стр. 179-198. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Simona Costanzo

Claudio Costanzo

Simona Costanzo

Simona Costanzo

Simona Costanzo

 

Другие публикации лиц с тем же именем

Building certified concurrent OS kernels., , , , , , , и . Commun. ACM, 62 (10): 89-99 (2019)CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels., , , , , , и . OSDI, стр. 653-669. USENIX Association, (2016)A Separation Logic for Enforcing Declarative Information Flow Control Policies., и . POST, том 8414 из Lecture Notes in Computer Science, стр. 179-198. Springer, (2014)End-to-end verification of information-flow security for C and assembly programs., , и . PLDI, стр. 648-664. ACM, (2016)A Case for Behavior-Preserving Actions in Separation Logic., и . APLAS, том 7705 из Lecture Notes in Computer Science, стр. 332-349. Springer, (2012)