Author of the publication

Exploring Conceptual Soundness with TruLens.

, , , , , , and . NeurIPS (Competition and Demos), volume 176 of Proceedings of Machine Learning Research, page 302-307. PMLR, (2021)

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

CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection., and . CoRR, (2015)Accountability in cyber-physical systems., , , und . SOSCYPS@CPSWeek, Seite 1-3. IEEE Computer Society, (2016)A Logic of Programs with Interface-Confined Code., , , und . CSF, Seite 512-525. IEEE Computer Society, (2015)The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy., , , und . FOCS, Seite 410-419. IEEE Computer Society, (2012)A derivation system and compositional logic for security protocols., , , und . J. Comput. Secur., 13 (3): 423-482 (2005)Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords., , , und . NDSS, The Internet Society, (2015)SoK: Differential Privacy as a Causal Property., , und . SP, Seite 354-371. IEEE, (2020)Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size., , , und . IEEE Symposium on Security and Privacy, Seite 365-379. IEEE Computer Society, (2010)Abstracting Influence Paths for Explaining (Contextualization of) BERT Models., , , und . CoRR, (2020)Boundary Attributions Provide Normal (Vector) Explanations., , und . CoRR, (2021)