( en | de | ru )

 

Disambiguation of "Datta, Anupam"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

, , , , and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 16-29. Springer, (2005)

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.

Anupam Chattopadhyay

Anupam Singh

Anupam Karmakar

Anupam Sengupta

Proyag Datta

 

Other publications of authors with the same name

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