Publications

• Atul Prakash. Security in Practice: Security-Usability Chasm. Proc. of Third International Conference on Information Systems Security (ICISS), December 2008. Invited paper. [pdf]
• Kevin Borders, Atul Prakash, and Mark Zielinski, Spector: Automatically Analyzing Shell Code. Proc. of the 23rd Annual Computer Security Applications Conference (ACSAC '07), Dec. 2007, 501-513.
• Xin Zhao, Kevin Borders, and Atul Prakash. Using a virtual machine to protect sensitive Grid resources. Concurrency and Computation: Practice and Experience. Special issue on Middleware for Grid Computing: A Possible Future. John Wiley & Sons, Vol. 19, No. 14, Sept. 2007, 1917-1935.
• Kevin Borders and Atul Prakash, Securing Network Input via a Trusted Input Proxy. Proceedings of the 2nd USENIX Workshop on Hot Topics in Security (HOTSEC '07), Aug. 2007. 5 pages. Proceedings can be found online at the Usenix HotSec 2007 web site.
• Patrick McDaniel and Atul Prakash, Methods and Limitations of Security Policy Reconciliation. ACM Transactions on Information and System Security (TISSEC),9(3):259-291, August, 2006. [pdf]
• Patrick McDaniel and Atul Prakash, Enforcing Provisioning and Authorization Policy in the Antigone System. Journal of Computer Security , 14(9):483--511, November, 2006. [pdf]
• Kevin Borders, Xin Zhao, and Atul Prakash. Siren: Catching Evasive Malware (Short Paper). IEEE Symposium on Security and Privacy, 2006. pp.
• L. Opyrchal, A. Prakash, and A. Agrawal, Designing a Publish-Subscribe Substrate for Privacy/Security in Pervasive Environments, Proceedings of the 2006 ACS/IEEE International Conference on Pervasive Services , June 26-29, 2006, pages 313-316.
• Xin Zhao and Atul Prakash. WSF: An HTTP-level firewall for hardening web servers. The 17th IASTED International Conference on Parallel and Distributed Computing Systems, Nov. 2005, Phoenix, AZ. [pdf]
  
• Kevin Borders, Xin Zhao, and Atul Prakash. CPOL: High-Performance Policy Evaluation. ACM Conference on Computer and Communication Security, Nov. 2005.  [CPOL CCS 2005 paper]
• Pavan Verma and Atul Prakash. FACE: A firewall analysis and configuration engine, Proceedings of the 2005 Symposium on Applications and the Internet (SAINT), 31 Jan-4 Feb, 2005, pages 74-81.
• Kevin Borders and Atul Prakash, Web Tap: Detecting Covert Web Traffic. Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS), Oct. 2004. [pdf]


• Lukasz Opyrchal, Atul Prakash, and Amit Agrawal, Designing a Publish-Subscribe Substrate for Privacy/Security in Pervasive Environments, presented at the First Workshop on Pervasive Security (PSPT), Boston, MA, August 2004. [pdf]


• Xin Zhao and Atul Prakash. Source authentication in group communication systems. Proceedings of the 14th International Workshop on Database and Expert Systems Applications , Sept 2003. pp. 455 -459, [pdf]


• James Irrer, Atul Prakash, and Patrick McDaniel. Antigone: policy-based secure group communication system and AMirD: antigone-based secure file mirroring system. Proceedings of the DARPA Informatoin Survivability Conference and Exposition, Volume 2, April 22-24 2003, pp. 44-46. [pdf]


• Patrick McDaniel and Atul Prakash. Methods and Limits of Security Policy Reconciliation, IEEE Symposium on Security and Privacy, 12-15 May 2002, Oakland, CA, pp. 73-87. [pdf]


• Lukasz Opyrchal and A. Prakash, Secure Distribution of Events in Content-Based Publish Subscribe Systems, Proceedings of the 2001 Usenix Security Symposium, Washington D. C., August 2001.


• Patrick McDaniel, Atul Prakash, James Irrer, Sharad Mittal, and Thai-Chuin Thuang. Flexibly Constructing Secure Groups in Antigone 2.0, Proceedings of the DARPA Information Survivability Conference & Exposition II (DISCEX'01) , Volume 2, 12-14 June 2001, pp. 55-67 (Volume 2).[pdf]


• Radu Litiu and Atul Prakash. DACIA: A mobile component framework for building adaptive distributed applications. ACM SIGOPS Operating Systems Review, Volume 35, Issue 2, April 2001, pp. 31-42.


• Radu Litiu and Atul Prakash. Developing adaptive groupware applications using a mobile component framework. Proceedings of the 2000 ACM conference on Computer-Supported Cooperative Work (CSCW 2000) , Dec. 2000, pp. 107-116. [pdf]


• Patrick McDaniel and Atul Prakash. Antigone: Implementing Policy in Secure Group Communication Technical Report CSE-TR-426-00, Department of EECS, University of Michigan, Ann Arbor, May 2000. [pdf]


• Patrick McDaniel, Atul Prakash, Peter Honeyman, Antigone: A Flexible Framework for Secure Group Communication, Proceedings of the 8th Usenix Security Symposium, August 1999, Washington D.C., pp. 99-114. [pdf]


• Trent Jaeger, Atul Prakash, Jochen Liedtke and Nayeem Islam, Flexible control of downloaded executable content, ACM Transactions on Information and System Security (TISSEC), Vol. 2, Issue 2, May 1999, pp. 177-228. [pdf]


• Subramanian, S.; Malan, G.R.; Shim, H.S.; Lee, J.H.; Knoop, P.; Weymouth, T.E.; Jahanian, F.; Prakash, A., Software architecture for the UARC Web-based collaboratory, Internet Computing, IEEE, Mar-Apr. 1999, Vol. 3, Issue 2, pp. 46-54. [pdf]


• Atul Prakash, Hyong Sop Shim, and Jang Ho Lee, Data management issues and tradeoffs in CSCW systems, IEEE Transactions on Data and Knowledge Engineering , Jan.-Feb. 1999, Vol. 11,Issue 1, pp. 213-227. [pdf]


• Lukasz Opyrchal and Atul Prakash, Efficient Object Serialization in Java. Proceedings of the 19th IEEE International Conference on Distributed Computing Systems Workshop on Electronic Commerce and Web-based Applications/Middleware, 31 May-4 June 1999, pp. 96-101. [pdf]
• R. Litiu and A. Prakash, Stateful Multicast Services, Proceedings of the 19th IEEE International Conference on Distributed Computing Systems (ICDCS), IEEE Press, 31 May- 4 June 1999, pp. 82-89. [pdf]


• Brian Noble, Li Li, and Atul Prakash. The case for better throughput estimation, Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, IEEE Press, 29-30 March 1999, pp. 70-75. [pdf]


• G. Olson, D.E. Atkins, R. Clauer, T. Finholt, F. Jahanian, T.L. Killeen, A. Prakash, and T. Weymouth, The Upper Atmospheric Research Collaboratory (UARC), ACM Interactions, Vol. 5, Issue 3, May/June 1998, pp. 48-55. [pdf]


• R. Strom, G. Banavar, K. Miller, A. Prakash, and M. Ward, Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects, IEEE Transactions on Computers, Vol. 47, No. 8, April 1998, pp. 458-471. [pdf]


• Hyong Sop Shim and Atul Prakash, Tolerating Client and Communication Failures in Distributed Groupware Systems, Proc. of the Seventeenth IEEE Symposium on Reliable Distributed Systems (SRDS), Purdue, 20-23 Oct. 1998, pp. 221-227. [pdf]


• R. Litiu and A. Prakash, Adaptive group communication services for groupware systems, Proc. of the 2nd International Enterprise Distributed Object Computing Workshop (EDOC '98), 3-5 Nov. 1998, IEEE Press, pp. 218-229. [pdf]
• N. Manohar, M. Willebeek-LeMair, and A. Prakash, Applying Statistical Process Control to the Adaptive Rate Control Problem, IBM Watson Research Center Technical Report No. RC20927 , 1998.


• H.S. Shim, R. Hall, A. Prakash, and F. Jahanian, Providing Flexible Services for Managing Shared State in Collaborative Systems, Proc. of the European Conference on Computer-Supported Cooperative Work (ECSCW) , September 1997. [pdf]


• R. Strom, G. Banavar, K. Miller, A. Prakash, and M. Ward, Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects, The 17th Proceedings of the International Conference on Distributed Computing Systems (ICDCS), Baltimore, MD, May 27-30, 1997, pp. 194-203. [pdf]


• Jang Ho Lee, Atul Prakash Trent Jaeger, and Gwobaw Wu Supporting Multi-User, Multi-Applet Workspaces in CBE, The Proceedings of the Sixth ACM Conference on Computer-Supported Cooperative Work, November 1996. [pdf]


• R. W. Hall, A. G. Mathur, F. Jahanian, A. Prakash, and C. Rasmussen, Corona: A Communication Service for Scalable, Reliable Group Collaboration Systems, Proc. 1996 ACM Conference on Computer Supported Cooperative Work (CSCW 96), Boston, MA, Nov. 1996, pp. 140-149. [pdf]


• A. G. Mathur and A. Prakash, A Protocol Composition-Based Approach to QoS Control in Collaboration Systems, in Proc. Third IEEE International Conference on Multimedia Computing and Systems, Hiroshima, Japan, 17-23 June 1996, pp. 62-69. [pdf]


• Trent Jaeger, Atul Prakash, and Aviel Rubin. A system architecture for flexible control of downloaded executable content. In Proceedings of the Fifth International Workshop on Object Orientation in Operating Systems, pages 14-18, Seattle, Wa., October 1996. [pdf]


• T. Jaeger, A.D. Rubin, and A. Prakash, Building Systems that Flexibly Control Downloaded Executable Content, Proc. of the 6th USENIX UNIX Security Symposium, July 22-25, San Jose, CA, pp. 131-148. (Best Student Paper Award). [pdf]


• N. R. Manohar and A. Prakash, A Flexible Architecture for Integrating Heterogeneous Replayable Workspaces (short paper), Proc. Third IEEE Int'l Conf on Multimedia Computing and Systems, Hiroshima, Japan, 17-23 June 1996, pp. 274-278. [pdf]


• S. Paul and A. Prakash, A Query Algebra for Program Databases, IEEE Transactions on Software Engineering, Vol. 22, No. 3, March 1996, pp. 202-217.


• C.R. Clauer, D.E. Atkins, T.E. Weymouth, G.M. Olson, R. Niciejewski, T.A. Finholt, A. Prakash, C.E. Rasmussen, T. Killeen, T.J. Rosenberg, D. Detrick, J.D. Kelly, Y. Zambre, C. Heinselman, P. Stauning, E. Friis-Christtensen, and S.B. Mende, A Prototype Atmospheric Research Collaboratory (UARC), in Applications of Data Handling and Visualization Technique in Space Atmospheric Sciences, E. Szuszczewicz (ed), NASA SP-519, pp. 105-112, 1995.


• N.R. Manohar and A. Prakash, Dealing with Synchronization and Timing Variability in the Playback of Session Recordings, Proceedings of the Third ACM Multimedia Conference, pages 45-56, San Francisco, CA, USA. November 1995. [pdf] [html]


• T. Jaeger and A. Prakash, Requirements of Role-based Access Control for Collaborative Systems, in Proc. of the First ACM Workshop on Role-based Access Control , Gaithersburg, MD, Nov. 1995. [pdf]


• N.R. Manohar and A. Prakash, The Session Capture and Replay Paradigm for Asynchronous Collaboration, Proceedings of the European Conference on Computer Supported Cooperative Work, Kluwer, pp. 149-164, Stockholm, Sweden., September 1995. [pdf]


• T. Jaeger and A. Prakash, Management and Utilization of Knowledge for the Automatic Improvement of Workflow Performance, in Proc. of the Conference on Organizational Computing Systems , Milpitas, CA, Aug. 1995, pg. 32-43. [pdf]


• T. Jaeger and A. Prakash, Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems, in Proc. of the 7th Int'l Conference on Software Engineering and Knowledge Engineering , Rockville, MD, June 1995, pg. 103-105. [pdf]


• T. Jaeger and A. Prakash, Implementation of a discretionary access control model for script-based systems, in Proc. of the 8th IEEE Computer Security Foundations Workshop , County Kerry, Ireland, 13-15 June 1995, pp. 70-84. [pdf]


• Atul Prakash and John Riedl. Distributed systems, multimedia and infrastructure support in CSCW systems. ACM SIGOIS Bulletin , Volume 15, Issue 2, December 1994. Special issue on Workshop write-ups and position papers from CSCW'94, pp. 18-58.


• A. Prakash and M. Knister, A Framework for Undoing Actions in Collaborative Systems, in ACM Transactions on Computer-Human Interaction (TOCHI) Volume 1, Number 4. December 1994, pp. 295-330. [pdf]


• N.R. Manohar and A. Prakash, Asynchronous Collaboration via The Record and Replay of Temporal Multimedia Streams, SIGOIS Bulletin: CSCW'94 Workshop on Multimedia Infrastructure for Collaboration, Vol. 15, No. 2, pages 32-34, December 1994. [pdf]


• S. Paul and A. Prakash, Object Data Models to Support Source Code Queries: Implementing SCA within REFINE, IEEE Third Workshop on Program Comprehension, Washington D.C., IEEE Press, November 14-15, 1994, pp. 145-152. [pdf]


• T. Jaeger and A. Prakash, Support for the file system security requirements of computational e-mail systems, in Proceedings of the 2nd ACM Conference on Computer and Communications Security, pg. 1-9, 1994. [pdf]


• A. Prakash and H. S. Shim, DistView: Support for Building Efficient Collaborative Applications using Replicated Objects, in The 1994 ACM Conference on Computer-Supported Cooperative Work, ACM Press, October 1994, pp. 153-164. [pdf]


• A.G. Mathur and A. Prakash, Protocols for Integrated Audio and Shared Windows in Collaborative Systems, in Proc. of the ACM International Conferenece on Multimedia , San Francisco, CA, Oct. 1994, pp.381-388. [pdf]


• S. Paul and A. Prakash, Supporting Queries on Source Code: A Formal Framework, International Journal of Software Engineering and Knowledge Engineering (Special Issue on Reverse Engineering), Vol. 4, No. 3, September 1994, pp. 325-348. [pdf]


• S. Paul and A. Prakash, Querying Source Code using an Algebraic Query Language, International Conference on Software Maintenance, IEEE Press, 19-23 September 1994, pp. 127-136. [pdf]


• E. Buss, R. De Mori, M. Gentleman, J. Henshaw, H. Johnson, K. Kontogiannis, E. Merlo, H. Muller, J. Mylopoulos, S. Paul, A. Prakash, M. Stanley, S. Tilley, J. Troster and K. Wong, Investigating Reverse Engineering Technologies: The CAS Program Understanding Project, IBM Systems Journal, Vol. 33, No. 3, August 1994, pp. 477-500. [pdf]


• S. Paul and A. Prakash. A Framework for Source Code Search Using Program Patterns, IEEE Transactions on Software Engineering, Volume 20, Number 6, June 1994, pp. 463-475. [pdf]


• C. R. Clauer, J. D. Kelly, T. J. Rosenberg, C. E. Rasmussen, P. Stauning, E. Friis-Christensen, R. J. Niciejewski, T. L. Killeen, S. B. Mende, Y. Zambre, T. E. Weymouth, A. Prakash, S. E. McDaniel, G. M. Olson, T. A. Finholt, and D. E. Atkins, A New Project to Support Scientific Collaboration Electronically, EOS Trans. Amer. Geophys. Union, Vol. 75, June 28, 1994.


• T. Jaeger, A. Prakash, and M. Ishikawa, A framework for the automatic improvement of workflow performance, in Proceedings of the Sixth IEEE International Conference on Tools with Artificial Intelligence, , 6-9 Nov. 1994, pp. 640-646, 1994. [pdf]


• A.G. Mathur and A. Prakash, On Transport Protocols for Audio Conferencing in CSCW Environments, in Proc. of the Workshop on the Role of Real-Time in Multimedia/Interactive Computing , Durham, NC, Nov. 1993. [pdf]


• T. Jaeger and A. Prakash, BizSpec: A business-oriented model for specification and analysis of office information systems, Proc. of the Fifth International Conference on Software Engineering and Knowledge Engineering, pg. 191-198, 1993. [pdf]


• C.R. Clauer, D.E. Atkins, T.E. Weymouth, G.M. Olson, R. Niciejewski, T. Finholt, A. Prakash, C.E. Rasmussen, T.J. Rosenberg, J.D. Kelly, Y. Zambre, P. Stauning, E. Friis-Christensen, and S.B. Mende, A Prototype Upper Atmospheric Research Collaboratory (UARC) (Abstract), EOS, Transactions on American Geophysical Union, Vol. 74, 1993.


• M. Knister and A. Prakash, Issues in the Design of a Toolkit for Supporting Multiple Group Editors, Computing Systems -- The Journal of the Usenix Association, Spring 1993, Vol. 6, No. 2, 135-166. [pdf]


• A. Prakash and M.J. Knister, Undoing Actions in Collaborative Work, Proceedings of The Fourth ACM Conference on Computer-Supported Cooperative Work, Oct. 1992, Toronto, Canada, pp. 273-280. [pdf]


• Atul Prakash and M. Knister, Undoing Actions in Collaborative Work, CSE-TR-125-92, CSE Division, Department of EECS, The University of Michigan, Ann Arbor, March, 1992. [pdf]


• Atul Prakash and M. Knister, Design considerations in choosing operations for building groupware systems (abstract), presented at the ACM CSCW'92 Workshop on Tools & Technologies for CSCW, October 31, 1992. Published in ACM SIGOIS Bulletin, Vol. 13, Issue 4, April 1993. [pdf]


• Santanu Paul and Atul Prakash, Source code retrieval using program patterns. Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering, 6-10 July 1992, pp. 92-105. [pdf]
• Atul Prakash and R. Subramanian. Filter: An Algorithm for Reducing Cascaded Rollbacks in Optimistic Distributed Simulations. Proceedings of the 24th Annual Simulation Symposium , 1991, pp. 123-132. [pdf]
• M.J. Knister and A. Prakash, DistEdit: A Distributed Toolkit for Supporting Multiple Group Editors, Proc. of the Third Conf. on Computer-Supported Cooperative Work, Los Angeles, October 1990, pp. 343-355. [pdf]


• C.V. Ramamoorthy, Y. Usuda, A. Prakash, and W.T. Tsai, The Evolution Support Environment System, IEEE Trans. on Software Engineering, Vol. 16, No. 11, November 1990, pp. 1225-1234.


• C.V. Ramamoorthy, V. Garg, and A. Prakash, Support for Reusability in Genesis, IEEE Transactions in Software Engineering, Vol 14, No. 8, August 1988, pp. 1145-1154.


• C.V. Ramamoorthy, V. Garg, and A. Prakash, Programming in the Large, IEEE Transactions on Software Engineering, Vol. 12, No. 7, July 1986, pp. 769-783.


• V. Ramamoorthy, A. Prakash, W.-T. Tsai, and Y. Usuda, Software Engineering: Status and Perspectives, IEEE Computer, Vol. 17, No. 10, October 1984, pp. 191-209.