Anupam Datta

2007
20	EE	Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram: Privacy and Utility in Business Processes. CSF 2007: 279-294
19	EE	Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234
18	EE	Arnab Roy, Anupam Datta, John C. Mitchell: Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC 2007: 312-329
17	EE	Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007)
2006
16	EE	Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213
15	EE	Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW 2006: 321-334
14	EE	Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum: Privacy and Contextual Integrity: Framework and Applications. S&P 2006: 184-198
13	EE	Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. TCC 2006: 360-379
12	EE	Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367(1-2): 33-56 (2006)
2005
11	EE	Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell: A modular correctness proof of IEEE 802.11i and TLS. ACM Conference on Computer and Communications Security 2005: 2-15
10	EE	Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
9	EE	Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP 2005: 16-29
8	EE	Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. TCC 2005: 476-494
7	EE	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A derivation system and compositional logic for security protocols. Journal of Computer Security 13(3): 423-482 (2005)
2004
6	EE	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30-
2003
5	EE	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125
4	EE	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Secure protocol composition. FMSE 2003: 11-23
2002
3	EE	Anupam Datta, Sidharth Choudhury, Anupam Basu: Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks. ASP-DAC 2002: 705-710
2	EE	Anupam Datta, Sidharth Choudhury, Anupam Basu: Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks. VLSI Design 2002: 705-710
2001
1	EE	Anupam Datta, Sidharth Choudhury, Anupam Basu, Hiroyuki Tomiyama, Nikil Dutt: Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique. VLSI Design 2001: 97-102

Coauthor Index

1	Michael Backes	[10] [12]
2	Adam Barth	[14] [20]
3	Anupam Basu	[1] [2] [3]
4	Sidharth Choudhury	[1] [2] [3]
5	Ante Derek	[4] [5] [6] [7] [9] [10] [11] [12] [13] [15] [16] [17] [19]
6	Nikil D. Dutt (Nikil Dutt)	[1]
7	Changhua He	[11]
8	Ralf Küsters	[8]
9	John C. Mitchell	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
10	Helen Nissenbaum	[14]
11	Dusko Pavlovic	[4] [5] [6] [7]
12	Ajith Ramanathan	[8] [13]
13	Arnab Roy	[16] [17] [18] [19]
14	Andre Scedrov	[13]
15	Jean-Pierre Seifert	[16]
16	Vitaly Shmatikov	[9]
17	Sharada Sundaram	[20]
18	Mukund Sundararajan	[11]
19	Hiroyuki Tomiyama	[1]
20	Mathieu Turuani	[9] [10] [12]
21	Bogdan Warinschi	[15]

Colors in the list of coauthors