Author of the publication

Distributed Authorization with Distributed Grammars.

, , , , , and . Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 10-26. Springer, (2015)

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

Local explanations via necessity and sufficiency: unifying theory and practice., , , and . UAI, volume 161 of Proceedings of Machine Learning Research, page 1382-1392. AUAI Press, (2021)Finding Invariants in Deep Neural Networks., , , and . CoRR, (2019)Static Analysis by Policy Iteration on Relational Domains., , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 237-252. Springer, (2007)Counterfactual Fairness in Text Classification through Robustness., , , , , and . AIES, page 219-226. ACM, (2019)Distributed Authorization in Vanadium., and . FOSAD, volume 9808 of Lecture Notes in Computer Science, page 139-162. Springer, (2016)Sandboxing untrusted JavaScript.. Stanford University, USA, (2013)Exploring Principled Visualizations for Deep Network Attributions., , , , and . IUI Workshops, volume 2327 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Privacy, Discovery, and Authentication for the Internet of Things., , , and . ESORICS (2), volume 9879 of Lecture Notes in Computer Science, page 301-319. Springer, (2016)Using Attribution to Decode Dataset Bias in Neural Network Models for Chemistry., , , , and . CoRR, (2018)Switching logic synthesis for reachability., and . EMSOFT, page 19-28. ACM, (2010)