Anupam Datta

	2012
48		Anupam Datta, Divya Sharma, Arunesh Sinha: Provable De-anonymization of Large Datasets with Sparse Dimensions. POST 2012: 229-248
47		Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan: Parametric Verification of Address Space Separation. POST 2012: 51-68
46		Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet: The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy CoRR abs/1204.2136: (2012)
	2011
45		Deepak Garg, Limin Jia, Anupam Datta: Policy auditing over incomplete logs: theory, implementation and applications. ACM Conference on Computer and Communications Security 2011: 151-162
44		Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha: Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection. CSF 2011: 312-327
43		Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha: Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS 2011: 1-27
42		Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta: Formal Verification of Differential Privacy for Interactive Systems CoRR abs/1101.2819: (2011)
41		Deepak Garg, Limin Jia, Anupam Datta: A Logical Method for Policy Enforcement over Evolving Audit Logs CoRR abs/1102.2521: (2011)
40		Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing: On the Semantics of Purpose Requirements in Privacy Policies CoRR abs/1102.4326: (2011)
39		Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha: Adaptive Regret Minimization in Bounded-Memory Games CoRR abs/1111.2888: (2011)
38		Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta: Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). Electr. Notes Theor. Comput. Sci. 276: 61-79 (2011)
37		Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar: On Adversary Models and Compositional Security. IEEE Security & Privacy 9(3): 26-32 (2011)
	2010
36		Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps: Analysis Techniques for Information Security Morgan & Claypool Publishers 2010
35		Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig: TrustVisor: Efficient TCB Reduction and Attestation. IEEE Symposium on Security and Privacy 2010: 143-158
34		Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri: Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. IEEE Symposium on Security and Privacy 2010: 365-379
33		Kumar Avijit, Anupam Datta, Robert Harper: Distributed programming with distributed authorization. TLDI 2010: 27-38
32		Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta: Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES 2010: 73-82
31		Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta: Compositional System Security with Interface-Confined Adversaries. Electr. Notes Theor. Comput. Sci. 265: 49-71 (2010)
30		Anupam Datta: Logical Methods in Security and Privacy. IEEE Security & Privacy 8(6): 86-89 (2010)
29		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive trace properties for computational security. Journal of Computer Security 18(6): 1035-1073 (2010)
	2009
28		Anupam Datta: Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings Springer 2009
27		Sagar Chaki, Anupam Datta: ASPIER: An Automated Framework for Verifying Security Protocol Implementations. CSF 2009: 172-185
26		Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar: A Logic of Secure Systems and its Application to Trusted Computing. IEEE Symposium on Security and Privacy 2009: 221-236
	2008
25		Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan: On the Relationships between Notions of Simulation-Based Security. J. Cryptology 21(4): 492-546 (2008)
	2007
24		Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram: Privacy and Utility in Business Processes. CSF 2007: 279-294
23		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234
22		Arnab Roy, Anupam Datta, John C. Mitchell: Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC 2007: 312-329
21		Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007)
20		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive 2007: 165 (2007)
	2006
19		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213
18		Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW 2006: 321-334
17		Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum: Privacy and Contextual Integrity: Framework and Applications. IEEE Symposium on Security and Privacy 2006: 184-198
16		Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. TCC 2006: 360-379
15		Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. IACR Cryptology ePrint Archive 2006: 153 (2006)
14		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Trace Properties for Computational Security. IACR Cryptology ePrint Archive 2006: 486 (2006)
13		Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive 2006: 56 (2006)
12		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		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		Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
9		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		Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. TCC 2005: 476-494
7		Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptology ePrint Archive 2005: 211 (2005)
6		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
5		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30-
	2003
4		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125
3		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Secure protocol composition. FMSE 2003: 11-23
	2002
2		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		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	Kumar Avijit	[33]
2	Michael Backes	[10] [12]
3	Adam Barth	[17] [24]
4	Anupam Basu	[1] [2]
5	Jeremiah Blocki	[39] [43] [44] [46]
6	Avrim Blum	[46]
7	Sagar Chaki	[27] [34] [47]
8	Sidharth Choudhury	[1] [2]
9	Nicolas Christin	[39] [43] [44]
10	Henry DeYoung	[32] [43]
11	Ante Derek	[3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [18] [19] [20] [21] [23] [29]
12	Nikil D. Dutt (Nikil Dutt)	[1]
13	Jason Franklin	[26] [31] [34] [37] [47]
14	Deepak Garg	[26] [31] [32] [37] [41] [43] [45]
15	Virgil D. Gligor	[35]
16	Robert Harper	[33]
17	Changhua He	[11]
18	Somesh Jha	[36]
19	Limin Jia	[32] [37] [41] [43] [45]
20	Dilsun Kirli Kaynar	[26] [31] [32] [37] [38] [42] [43]
21	Ralf Küsters	[8] [15] [25]
22	Ninghui Li	[36]
23	Yanlin Li	[35]
24	Jonathan M. McCune	[35] [47]
25	David Melski	[36]
26	John C. Mitchell	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [29]
27	Helen Nissenbaum	[17]
28	Dusko Pavlovic	[3] [4] [5] [6]
29	Adrian Perrig	[35]
30	Ning Qu	[35]
31	Ajith Ramanathan	[7] [8] [15] [16] [25]
32	Thomas W. Reps	[36]
33	Arnab Roy	[14]
34	Arnab Roy	[19] [20] [21] [22] [23] [29]
35	Andre Scedrov	[7] [16]
36	Jean-Pierre Seifert	[19]
37	Arvind Seshadri	[34]
38	Divya Sharma	[48]
39	Or Sheffet	[46]
40	Vitaly Shmatikov	[9]
41	Arunesh Sinha	[39] [43] [44] [48]
42	Sharada Sundaram	[24]
43	Mukund Sundararajan	[11]
44	Hiroyuki Tomiyama	[1]
45	Michael Carl Tschantz	[38] [40] [42]
46	Mathieu Turuani	[9] [10] [12]
47	Amit Vasudevan	[47]
48	Bogdan Warinschi	[13] [18]
49	Jeannette M. Wing	[40]
50	Zongwei Zhou	[35]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page