( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Caisson: a hardware description language for secure information flow.

, , , , , , и . PLDI, стр. 109-120. ACM, (2011)

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.

Anubha Kashyap

Abhijith Kashyap

Kashyap Narayan Krishnasamy

Om Prakash Kashyap

 

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

Configurable and Sound Static Analysis of JavaScript: Techniques and Applications.. University of California, Santa Barbara, USA, (2014)base-search.net (ftcdlib:qt8xm5m45s).Automated Customized Bug-Benchmark Generation., , , , , , , , и . SCAM, стр. 103-114. IEEE, (2019)Caisson: a hardware description language for secure information flow., , , , , , и . PLDI, стр. 109-120. ACM, (2011)Sapper: a language for hardware-level security policy enforcement., , , , , , , , и . ASPLOS, стр. 97-112. ACM, (2014)MuSynth: Program Synthesis via Code Reuse and Code Manipulation., , , и . SSBSE, том 10452 из Lecture Notes in Computer Science, стр. 117-123. Springer, (2017)Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments., , , и . SCAM, стр. 227-237. IEEE, (2020)A parallel abstract interpreter for JavaScript., , и . CGO, стр. 34-45. IEEE Computer Society, (2015)Widening for Control-Flow., , , и . VMCAI, том 8318 из Lecture Notes in Computer Science, стр. 472-491. Springer, (2014)Position paper: Sapper - a language for provable hardware policy enforcement., , , , , , , , и . PLAS, стр. 39-44. ACM, (2013)Security Signature Inference for JavaScript-based Browser Addons., и . CGO, стр. 219. ACM, (2014)