Atul Prakash

Beng Heng Ng, Alexander Crowell, Atul Prakash: Adaptive semi-private email aliases. ASIACCS 2012: 69-70

Biswajit Panja, Atul Prakash, Priyanka Meharia, Bradley Schneider: Security in sensor network based SCADA system for adaptive traffic signal operation. CTS 2012: 195-202

Heqing Huang, Su Zhang, Xinming Ou, Atul Prakash, Karem A. Sakallah: Distilling critical attack graph surface iteratively through minimum-cost SAT solving. ACSAC 2011: 31-40

Billy Lau, Atul Prakash, Venkatanathan Annamalai: Accessing Trusted Web Sites from Low-Integrity Systems without End-Host Snooping. SocialCom/PASSAT 2011: 1012-1019

Jordan Crain, Lukasz Opyrchal, Atul Prakash: Fighting Phishing with Trusted Email. ARES 2010: 462-467

Beng Heng Ng, Xin Hu, Atul Prakash: A Study on Latent Vulnerabilities. SRDS 2010: 333-337

Mark W. Newman, Mark S. Ackerman, Jungwoo Kim, Atul Prakash, Zhenan Hong, Jacob Mandel, Tao Dong: Bringing the field into the lab: supporting capture and replay of contextual data for the design of context-aware applications. UIST 2010: 105-108

Mark S. Ackerman, Tao Dong, Scott Gifford, Jungwoo Kim, Mark W. Newman, Atul Prakash, Sarah Qidwai, David García, Paulo Villegas, Alejandro Cadenas, Antonio Sánchez-Esguevillas, Javier Aguiar, Belén Carro, Sean Mailander, Ronald Schroeter, Marcus Foth, Amiya Bhattacharya, Partha Dasgupta: Location-Aware Computing, Virtual Networks. IEEE Pervasive Computing 8(4): 28-32 (2009)

Feng Qian, Zhiyun Qian, Zhuoqing Morley Mao, Atul Prakash: Ensemble: Community-Based Anomaly Detection for Popular Applications. SecureComm 2009: 163-184

Kevin Borders, Atul Prakash: Quantifying Information Leaks in Outbound Web Traffic. IEEE Symposium on Security and Privacy 2009: 129-140

Kevin Borders, Eric Vander Weele, Billy Lau, Atul Prakash: Protecting Confidential Data on Personal Computers with Storage Capsules. USENIX Security Symposium 2009: 367-382

Atul Prakash, Indranil Gupta (Eds.): Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009, Proceedings. Lecture Notes in Computer Science 5905, Springer 2009, isbn 978-3-642-10771-9

Garrett Brown, Travis Howe, Micheal Ihbe, Atul Prakash, Kevin Borders: Social networks and context-aware spam. CSCW 2008: 403-412

Xin Zhao, Kevin Borders, Atul Prakash: Prism: Providing Flexible and Fast Filesystem Cloning Service for Virtual Servers. Middleware 2008: 388-407

Laura Falk, Atul Prakash, Kevin Borders: Analyzing websites for user-visible security design flaws. SOUPS 2008: 117-126

Kevin Borders, Atul Prakash: Towards Quantification of Network-Based Information Leaks via HTTP. HotSec 2008

Lukasz Opyrchal, Atul Prakash: Large-Scale Group Collaboration Systems. Wiley Encyclopedia of Computer Science and Engineering 2008

Hyong Sop Shim, Atul Prakash, Jang Ho Lee: Distributed and Collaborative Development. Wiley Encyclopedia of Computer Science and Engineering 2008

Xin Zhao, Kevin Borders, Atul Prakash: Using a virtual machine to protect sensitive Grid resources. Concurrency and Computation: Practice and Experience 19(14): 1917-1935 (2007)

Lukasz Opyrchal, Atul Prakash, Amit Agrawal: Supporting Privacy Policies in a Publish-Subscribe Substrate for Pervasive Environments. JNW 2(1): 17-26 (2007)

Kevin Borders, Atul Prakash, Mark Zielinski: Spector: Automatically Analyzing Shell Code. ACSAC 2007: 501-514

Atul Prakash: Security in Practice - Security-Usability Chasm. ICISS 2007: 1-9

Kevin Borders, Laura Falk, Atul Prakash: OpenFire: Using deception to reduce network attacks. SecureComm 2007: 224-233

Patrick McDaniel, Atul Prakash: Enforcing provisioning and authorization policy in the Antigone system. Journal of Computer Security 14(6): 483-511 (2006)

Patrick McDaniel, Atul Prakash: Methods and limitations of security policy reconciliation. ACM Trans. Inf. Syst. Secur. 9(3): 259-291 (2006)

Scott Gifford, Jim Knox, Jonathan James, Atul Prakash: Introduction to the talking points project. ASSETS 2006: 271-272

Kevin Borders, Xin Zhao, Atul Prakash: Securing sensitive content in a view-only file system. Digital Rights Management Workshop 2006: 27-36

Kevin Borders, Xin Zhao, Atul Prakash: Siren: Catching Evasive Malware (Short Paper). IEEE Symposium on Security and Privacy 2006: 78-85

Kevin Borders, Xin Zhao, Atul Prakash: CPOL: high-performance policy evaluation. ACM Conference on Computer and Communications Security 2005: 147-157

Xin Zhao, Atul Prakash: WSF: An HTTP-Level Firewall for Hardening Web Servers. IASTED PDCS 2005: 248-253

Pavan Verma, Atul Prakash: FACE: A Firewall Analysis and Configuration Engine. SAINT 2005: 74-81

Xin Zhao, Kevin Borders, Atul Prakash: Towards Protecting Sensitive Files in a Compromised System. IEEE Security in Storage Workshop 2005: 21-28

Kevin Borders, Atul Prakash: Web tap: detecting covert web traffic. ACM Conference on Computer and Communications Security 2004: 110-120

Xin Zhao, Atul Prakash: Source Authentication in Group Communication Systems. DEXA Workshops 2003: 455-459

Jim Irrer, Atul Prakash, Patrick McDaniel: Antigone: Policy-based Secure Group Communication System and AMirD: Antigone-based Secure File Mirroring System. DISCEX (2) 2003: 44-46

Patrick McDaniel, Atul Prakash: A Flexible Architecture for Security Policy Enforcement. DISCEX (2) 2003: 234-239

Patrick Drew McDaniel, Atul Prakash: Methods and Limitations of Security Policy Reconciliation. IEEE Symposium on Security and Privacy 2002: 73-87

Radu Litiu, Atul Prakash: DACIA: A Mobile Component Framework for Buildinh Adaptive Distributed Applications. Operating Systems Review 35(2): 31-42 (2001)

Lukasz Opyrchal, Atul Prakash: Secure Distribution of Events in Content-Based Publish Subscribe Systems. USENIX Security Symposium 2001

Radu Litiu, Atul Prakash: Developing adaptive groupware applications using a mobile component framework. CSCW 2000: 107-116

Sushila Subramanian, G. Robert Malan, Hyong Sop Shim, Jang Ho Lee, Peter Knoop, Terry E. Weymouth, Farnam Jahanian, Atul Prakash: Software Architecture for the UARC Web-Based Collaboratory. IEEE Internet Computing 3(2): 46-54 (1999)

Trent Jaeger, Atul Prakash, Jochen Liedtke, Nayeem Islam: Flexible Control of Downloaded Executable Content. ACM Trans. Inf. Syst. Secur. 2(2): 177-228 (1999)

Atul Prakash, Hyong Sop Shim, Jang Ho Lee: Data Management Issues and Trade-Offs in CSCW Systems. IEEE Trans. Knowl. Data Eng. 11(1): 213-227 (1999)

Brian Noble, Li Li, Atul Prakash: The Case for Better Throughput Estimation. Workshop on Hot Topics in Operating Systems 1999: 70-75

Radu Litiu, Atul Prakash: Stateful Group Communication Services. ICDCS 1999: 82-89

Gary M. Olson, Daniel E. Atkins, C. Robert Clauer, Thomas A. Finholt, Farnam Jahanian, Timothy L. Killeen, Atul Prakash, Terry E. Weymouth: The Upper Atmospheric Research Collaboratory (UARC). Interactions 5(3): 48-55 (1998)

Robert E. Strom, Guruduth Banavar, Kevan Miller, Atul Prakash, Michael Ward: Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects. IEEE Trans. Computers 47(4): 458-471 (1998)

Hyong Sop Shim, Atul Prakash: Tolerating Client and Communication Failures in Distributed Groupware Systems. SRDS 1998: 221-227

Hyong Sop Shim, Robert W. Hall, Atul Prakash, Farnam Jahanian: Providing Flexible Services for Managing Shared State in Collaborative Systems. ECSCW 1997: 237-

Robert E. Strom, Guruduth Banavar, Kevan Miller, Atul Prakash, Michael Ward: Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects. ICDCS 1997: 0-

Santanu Paul, Atul Prakash: A Query Algebra for Program Databases. IEEE Trans. Software Eng. 22(3): 202-217 (1996)

Robert W. Hall, Amit G. Mathur, Farnam Jahanian, Atul Prakash, Craig Rassmussen: Corona: A Communication Service for Scalable, Reliable Group Collaboration Systems. CSCW 1996: 140-149

Jang Ho Lee, Atul Prakash, Trent Jaeger, Gwobaw Wu: Supporting Multi-User, Multi-Applet Workspaces in CBE. CSCW 1996: 344-353

Amit G. Mathur, Atul Prakash: A Protocol Composition-Based Approach to QoS Control in Collaboration Systems. ICMCS 1996: 62-69

Nelson R. Manohar, Atul Prakash: A Flexible Architecture for Integrating Heterogeneous Media on Replayable Workspaces. ICMCS 1996: 274-278

Trent Jaeger, Atul Prakash: Implementation of a discretionary access control model for script-based systems. CSFW 1995: 70-84

Nelson R. Manohar, Atul Prakash: The Session Capture and Replay Paradigm for Asynchronous Collaboration. ECSCW 1995: 147-

Trent Jaeger, Atul Prakash: Management and utilization of knowledge for the automatic improvement of workflow performance. COOCS 1995: 32-43

Tom Rodden, Paul Dourish, Lennart E. Fahlén, Chris Greenhalgh, Atul Prakash, John Riedl: Computer Supported Cooperative Work: New Challenges or Old Problems (Panel). ICDCS 1995: 180-181

Nelson R. Manohar, Atul Prakash: Dealing with Synchronization and Timing Variability in the Playback of Interactive Session Recordings. ACM Multimedia 1995: 45-56

Trent Jaeger, Atul Prakash: Requirements of role-based access control for collaborative systems. ACM Workshop on Role-Based Access Control 1995

Trent Jaeger, Atul Prakash: Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems. SEKE 1995: 103-105

Erich B. Buss, Renato de Mori, W. Morven Gentleman, John Henshaw, J. Howard Johnson, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, John Mylopoulos, Santanu Paul, Atul Prakash, Martin Stanley, Scott R. Tilley, Joel Troster, Kenny Wong: Investigating Reverse Engineering Technologies for the CAS Program Understanding Project. IBM Systems Journal 33(3): 477-500 (1994)

Santanu Paul, Atul Prakash: Supporting Queries on Source Code: a Formal Framework. International Journal of Software Engineering and Knowledge Engineering 4(3): 325-348 (1994)

Atul Prakash, Michael J. Knister: A Framework for Undoing Actions in Collaborative Systems. ACM Trans. Comput.-Hum. Interact. 1(4): 295-330 (1994)

Santanu Paul, Atul Prakash: A Framework for Source Code Search Using Program Patterns. IEEE Trans. Software Eng. 20(6): 463-475 (1994)

Trent Jaeger, Atul Prakash: Support for the File System Security Requirements of Computational E-Mail Systems. ACM Conference on Computer and Communications Security 1994: 1-9

Susan E. McDaniel, Gary M. Olson, Terry E. Weymouth, Craig E. Rasmussen, Atul Prakash, C. Robert Clauer, Daniel E. Atkins, Ramani Penmetsa, Nelson R. Manohar, Hyong Sop Shim: The upper atmospheric research collaboratory. CHI Conference Companion 1994: 21-22

Atul Prakash, Hyong Sop Shim: DistView: Support for Building Efficient Collaborative Applications Using Replicated Objects. CSCW 1994: 153-164

Santanu Paul, Atul Prakash: Querying Source Code Using an Algebraic Query Language. ICSM 1994: 127-136

Trent Jaeger, Atul Prakash, Masayuki Ishikawa: A Framework for Automatic Improvement of Workflows to Meet Performance Goals. ICTAI 1994: 640-646

Amit G. Mathur, Atul Prakash: Protocols for Integrated Audio and Shared Windows in Collaborative Systems. ACM Multimedia 1994: 381-388

Michael J. Knister, Atul Prakash: Issues in the Design of a Toolkit for Supporting Multiple Group Editors. Computing Systems 6(2): 135-166 (1993)

Santanu Paul, Atul Prakash: Generating programming language-based pattern matchers. CASCON 1993: 227-243

Trent Jaeger, Atul Prakash: BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems. SEKE 1993: 191-198

Atul Prakash, Michael J. Knister: Undoing Actions in Collaborative Work. CSCW 1992: 273-280

Atul Prakash, Rajalakshmi Subramanian: Filter: an algorithm for reducing cascaded rollbacks in optimistic distributed simulations. Annual Simulation Symposium 1991: 123-132

Santanu Paul, Atul Prakash, Erich B. Buss, John Henshaw: Theories and techniques of program understanding. CASCON 1991: 37-53

C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai: The Evolution Support Environment System. IEEE Trans. Software Eng. 16(11): 1225-1234 (1990)

Michael J. Knister, Atul Prakash: DistEdit: A Distributed Toolkit for Supporting Multiple Group Editors. CSCW 1990: 343-355

C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Support for Reusability in Genesis. IEEE Trans. Software Eng. 14(8): 1145-1154 (1988)

Atul Prakash, C. V. Ramamoorthy: Hierarchical Distributed Simulations. ICDCS 1988: 341-348

C. V. Ramamoorthy, Atul Prakash, Vijay K. Garg, Tsuneo Yamaura, Anupam Bhide: Issues in the Development of Large, Distributed, and Reliable Software. Advances in Computers 26: 393-443 (1987)

C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Programming in the Large. IEEE Trans. Software Eng. 12(7): 769-783 (1986)

C. V. Ramamoorthy, Atul Prakash, Wei-Tek Tsai, Yutaka Usuda: Software Engineering: Problems and Perspectives. IEEE Computer 17(10): 191-209 (1984)