Author of the publication

03411 Final Report - Language Based Security.

, , , and . Language Based Security, volume 03411 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2003)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

MaxPace: Speed-constrained location queries., , and . CNS, page 136-144. IEEE, (2016)Polyglots: crossing origins by crossing formats., , and . ACM Conference on Computer and Communications Security, page 753-764. ACM, (2013)Hardening the security analysis of browser extensions., , and . SAC, page 1694-1703. ACM, (2022)Data Privacy in Trigger-Action IoT Systems., , , , , and . CoRR, (2020)Data Exfiltration in the Face of CSP., , and . AsiaCCS, page 853-864. ACM, (2016)PrivatePool: Privacy-Preserving Ridesharing., , and . CSF, page 276-291. IEEE Computer Society, (2017)Tracking Information Flow via Delayed Output - Addressing Privacy in IoT and Emailing Apps., , and . NordSec, volume 11252 of Lecture Notes in Computer Science, page 19-37. Springer, (2018)Securing Node-RED Applications., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 1-21. Springer, (2021)LazyTAP: On-Demand Data Minimization for Trigger-Action Applications., , and . SP, page 3079-3097. IEEE, (2023)Nontransitive Policies Transpiled., , and . EuroS&P, page 543-561. IEEE, (2021)