Publications 
 [2005] 

[2004] [2003] [2002][2001] [2000][1999]
[1998] [1997] [1996][1995][1994]
[1993]   [1992 and earlier]

2005

J. Huang, S. Amjad and S. Mishra. CenWits: A Sensor-Based Loosely Coupled Search and Rescue System Using Witnesses. To appear in the 3rd ACM Conference on Embedded Networked Sensor Systems (SenSys), San Diego, CA (November 2005).

J. Deng, R. Han and S. Mishra. Defending Against Path-Based DoS Attacks in Wireless Sensor Networks. To appear in the 3rd ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN 2005), Alexandria, VA (November 2005).

J. Deng, R. Han and S. Mishra. Countermeasures Against Traffic Analysis Attacks in Wireless Sensor Networks. To appear in the IEEE Conference on Security and Privacy in Communication Networks (SecureComm), Athens, Greece (September 2005).

J. Deng, C. Hartung, R. Han and S. Mishra. A Practical Study of Transitory Master Key Establishment For Wireless Sensor Networks. To appear in the IEEE Conference on Security and Privacy in Communication Networks (SecureComm), Athens, Greece (September 2005).

M. Marwah, S. Mishra and C. Fetzer. A System Demonstration of ST-TCP. In the 2005 IEEE International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, Japan (June 2005).

J. Huang and S. Mishra. A Sensor Based Tracking System Using Witnesses. In the First International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05), Columbus, OH (June 2005).

J. Deng, R. Han and S. Mishra. INSENS: Intrusion-Tolerant Routing For Wireless Sensor Networks. To appear in the Elsevier Journal on Computer Communications, Special Issue on Dependable Wireless Sensor Networks, 2005.

J. Deng, R. Han and S. Mishra. A Book chapter on Security, Privacy, and Fault Tolerance. To appear in the Wireless Sensor Networks. Artech House, 2005. Editors Nirupama Bulusu and Sanjay Jha.

  2004

S. Tanaraksiritavorn and S. Mishra. Evaluation of Gossip to Build Scalable and Reliable Multicast Protocols. Elsevier Performance Evaluation Journal, 58(2-3), November 2004.

N. Subraveti, S. Tanaraksiritavorn, and S. Mishra. Intrusion Tolerant Group Membership Protocol. In the Tenth IEEE International Conference on Parallel and Distributed Systems (ICPADS 2004), Newport Beach, CA (July 2004).

J. Deng, R. Han, and S. Mishra. A Robust and Light-Weight Routing Mechanism for Wireless Sensor Networks. In the 1st Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (DIWANS 2004), Florence, Italy (June 2004). 

J. Deng, R. Han, and S. Mishra. Inrusion Tolerance and Anti-Traffic Analysis Strategies in Wireless Sensor Networks. In the 2004 IEEE International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy (June 2004).

J. Huang and S. Mishra. Support for Mobility and Fault Tolerance in Mykil.
In the 2004 IEEE International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy (June 2004).

N. Subraveti,
S. Tanaraksiritavorn, and S. Mishra. Flexible Intrusion Tolerant Group Membership Protocol. Technical Report CU-CS-967-04. Department of Computer Science, University of Colorado, February 2004.

S. Tanaraksiritavorn and S. Mishra. Evaluation of Gossip to Build Scalable and Reliable Multicast Protocols. To appear in the Performance Evaluations Journal.

S. Tanaraksiritavorn and S. Mishra.  A Trustworthiness Detector for Intrusion-Tolerant Group Communication Systems.  In the 2004 Hawaii International Conference on Computer Sciences (HICCS 2004), Honolulu, Hawaii (January 2004).
2003
S. Mishra and P. Xie. Interagent Communication and Synchronization Support in the DaAgent Mobile Agent-Based Computing System. IEEE Transactions on Parallel and Distributed Systems, 14(3), March 2003.

J. Huang and S. Mishra. Mykil: A Highly Scalable and Efficient Key Distribution Protocol for Large Group Multicast. In the IEEE 2003 Global Communications Conference (GLOBECOM 2003), San Francisco, CA (December 2003).

J. Deng, R. Han, and S. Mishra. Security Support for In-Network Processing in Wireless Sensor Networks. In the 2003 ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN '03), Fairfax, VA (October 2003).

N. Subraveti, S. Tanaraksiritavorn, and S. Mishra. Issues in Building Intrusion Tolerant Group Membership Protocols. In the 16th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS 2003), Reno, NV (August 2003).

M. Marwah, S. Mishra and C. Fetzer. TCP Server Fault Tolerance Using Connection Migration to a Backup Server. In the Proceedings of the 2003 IEEE International Conference on Dependable Systems and Networks (DSN 2003), San Francisco, CA (June 2003).

S. Mishra. Intrusion Tolerant Key Management for Large Group Multicast. Fast abstract. In the 2003 IEEE International Conference on Dependable Systems and Networks (DSN 2003), San Francisco, CA (June 2003).

J. Huang and S. Mishra. Mykil: A Highly Scalable and Efficient Key Distribution Protocol for Large Group Multicast. Poster paper. In the 23rd IEEE International Conference on Distributed Computing Systems (ICDCS 2003), Providence, RI (May 2003).

J. Deng, R. Han, and S. Mishra. INSENS: Intrusion-Tolerant Routing in Wireless Sensor Networks. Poster paper. In the 23rd IEEE International Conference on Distributed Computing Systems (ICDCS 2003), Providence, RI (May 2003).

J. Deng, R. Han, and S. Mishra. A Performance Evaluation of Intrusion-Tolerant Routing in Wireless Sensor Networks. In the Proceedings of the 2nd IEEE International Workshop on Information Processing in Sensor Networks (IPSN 2003), Palo Alto, CA (April 2003).

S. Tanaraksiritavorn and S. Mishra. A Trustworthiness Detector for Intrusion-Tolerant Group Communication Systems. Technical Report CU-CS-963-03. Department of Computer Science, University of Colorado, September 2003.

J. Huang and S. Mishra. Support for Mobility and Fault Tolerance in Mykil. Technical Report CU-CS-962-03. Department of Computer Science, University of Colorado, August 2003.

J. Deng, R. Han, and S. Mishra. Enhancing Base Station Security in Wireless Sensor Networks. Technical Report CU-CS-951-03. Department of Computer Science, University of Colorado, April 2003.

2002
S. Mishra, C. Fetzer and F. Cristian. The Timewheel Group Communication System. IEEE Transactions on Computers, 51(8), August 2002.

S. Mishra and G. Pang. Teams: An Availability Management Service for a Timed Asynchronous Distributed System. International Journal of Computers and Their Applications, 9(1), March 2002.

H. Dai, S. Mishra, and M. Hiltunen. CORBA-as-Needed: A Technique to Construct High Performance CORBA Applications. In the Proceedings of the 9th IEEE International Conference on High Performance Computing (HiPC 2002), Banglore, India (December 2002).

S. Tanaraksiritavorn and S. Mishra. Evaluation of Gossip to Build Scalable and Reliable Multicast Protocols. In the Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), Fort Worth, TX (October 2002).

S. Mishra and M. Rutar. Netlet - A New Architecture for Building Mobile Agent Systems. In the Proceedings of the 1st IEEE International Workshop on Distributed Computing and Agent Technologies (DC-AT 2002), Fort Worth, TX (October 2002).

S. Mishra and S. Tanaraksiritavorn. Middleware Support for Constructing Highly Available and Dependable Services. FastAbstract. In the 2002 IEEE International Conference on Dependable Systems and Networks (DSN 2002), Washington, D.C. (June 2002).

S. Mishra. A Peer-to-peer System Assignment for Teaching Distributed Systems Concepts. In the Proceedings of the 2002 IASTED International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2002), Las Vegas, NV (June 2002).

S. Mishra and N. Shi. Improving the Performance of Distributed CORBA Applications. In the Proceedings of the 16th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2002), Fort Lauderdale, FL (April 2002).

S. Mishra. A Middleware for Constructing Highly Available, Fault Tolerant, and Attack Tolerant Services. In the Proceedings of the 17th ISCA International Conference on Computers and Their Applications (CATA 2002), San Francisco, CA (April 2002).

J. Deng, R. Han, S. Mishra. INSENS: INtrusion-tolerant routing in wireless SEnsor NetworkS. Technical Report CU-CS-939-02, Department of Computer Science, University of Colorado, November 2002.

S. Mishra.  Key Management in Large Group Multicast Technical Report CU-CS-940-02, Department of Computer Science, University of Colorado, November 2002.

2001

S. Mishra and R. Yang. Experience with Handling Concurrent Events in Group Communication Services. International Journal of Parallel and Distributed Systems & Networks, 4(2), April 2001.

S. Mishra, L. Fei, X. Lin and G. Xing. On Group Communication Support in CORBA. IEEE Transactions on Parallel and Distributed Systems, 12(2), February 2001.

S. Mishra and J. Ward. Replicated Revision Control System. International Journal of Parallel and Distributed Systems & Networks, 4(1), January 2001.

S. Mishra and H. Kuntur. Security Architecture of the DaAgent System. In the Proceedings of the 13th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2001), Anaheim, CA (August 2001).

S. Mishra and P. Xie. Communication and Synchronization Models in Mobile Agent-Based Computing Systems. In the Proceedings of the 14th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS 2001), Richardson, TX (August 2001).

S. Mishra. Agent Fault Tolerance Using Group Communication. In the Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Las Vegas, NV (June 2001).

S. Mishra and P. Xie. Interagent Communication and Synchronization in DaAgent. In the 21st IEEE Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, AZ (April 2001).

S. Mishra and S. Gui. Statistical Analysis of Security Violations in Computer Software. In the Proceedings of the 16th ISCA International Conference on Computers and Applications (CATA 2001), Seattle, WA (March 2001).

2000

S. Mishra and S. Kuntur. Newsmonger: A Technique to Improve the Performance of Atomic Broadcast Protocols. The Journal of Systems and Software, 55(2), December 2000.

S. Mishra and X. Lin. Design, Implementation and Performance Evaluation of a High Performance CORBA Group Membership Protocol. In the Proceedings of the 7th IEEE International Conference on High Performance Computing (HiPC 2000), Banglore, India (December 2000).

S. Mishra, H. Kuntur and Y. Huang. Programming Environment of DaAgent. In the Proceedings of the 12th IASTED International Conference on Parallel and Distributed Computing and Systems} (PDCS 2000), Las Vegas, NV (November 2000).

S. Mishra and Y. Huang. Fault Tolerance in Agent-Based Computing Systems. In the Proceedings of the 13th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS 2000), Las Vegas, NV (August 2000).

S. Mishra and P. Xie. Models for Interagent Communication and Synchronization. In the Proceedings of the 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Las Vegas, NV (June 2000).

J. van Baalen, J. Caldwell and S. Mishra. Specifying and Checking Fault-tolerant Agent-based Protocols using Maude. In the Proceedings of the 1st Goddard Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, MD (April 2000).

1999

S. Mishra and J. Ward. Replicated Revision Control System. In the Proceedings of the 11th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 1999), Cambridge, MA (November 1999).

S. Mishra, L. Fei and G. Xing. Performance Evaluation of a CORBA Group Communication Service. In the Proceedings of the 29th IEEE International Symposium on Fault-tolerant Computing (FTCS 1999), Madison, WI (June 1999).

C. Fetzer and S. Mishra. Transparent TCP/IP based Replication. Fastabstract. In the 29th IEEE International Symposium on Fault-tolerant Computing (FTCS 1999), Madison, WI (June 1999).

S. Mishra, Y. Huang, and H. Kuntur. DaAgent: A Dependable Mobile Agent System. Fastabstract. In the Proceedings of the 29th IEEE International Symposium on Fault-tolerant Computing (FTCS 1999), Madison, WI (June 1999).

S. Mishra, X. Jiang B. Yang. Providing Fault Tolerance to Mobile Intelligent Agents. In the Proceedings of the ISCA 8th International Conference on Intelligent Systems, Denver, CO (June 1999).

S. Mishra and G. Pang. Design and Implementation of an Availability Management Service. In the Proceedings of the ICDCS Workshop on Middleware, Austin, TX (June 1999).

S. Mishra and S. M. Kuntur. Improving Performance of Atomic Broadcast Protocols Using the Newsmonger Technique. Proceedings of the Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA 1999), San Jose, CA (January 1999).

1998

S. Mishra and F. Cristian. Low Level Support for Implementing Group Communication Services. ISCA International Journal of Computers and Their Applications, 5(4), December 1998.

S. Mishra and L. Wu. An Evaluation of Flow Control in Group Communication. IEEE/ACM Transactions on Networking, 6(5), October 1998.

S. Mishra. Constructing Applications Using the Timewheel Group Communication Service. Proceedings of the 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 1998), Las Vegas, NV (July 1998).

S. Mishra, C. Fetzer and F. Cristian. The Timewheel Group Membership Protocol. Proceedings of the 3rd IEEE Workshop on Fault-tolerant Parallel and Distributed Systems (FTPDS 1998), Orlando, FL (April 1998).

S. Mishra and R. Yang. Thread-based vs Event-based Implementation of a Group Communication Service. Proceedings of the 12th IEEE International Parallel Processing Symposium & 9th IEEE Symposium on Parallel and Distributed Processing (IPDPS 1998), Orlando, FL (April 1998).

1997

F. Cristian, S. Mishra and G. Alvarez. High Performance Asynchronous Atomic Broadcast. Distributed Systems Engineering Journal, 4(2) June 1997.

M. Ahuja and S. Mishra. Units of Computation in Fault-Tolerant Distributed Systems. Journal of Parallel and Distributed Computing, 40(2), February 1997.

S. Mishra and L. Wu. Flow Control in High Performance Atomic Multicast Services. Proceedings of the 11th Annual International Symposium on High Performance Computing (HPCS 1997), Winnipeg, Canada (July 1997), 295--306.

S. Mishra, C. Fetzer and F. Cristian. The Timewheel Asynchronous Atomic Broadcast Protocol. Proceedings of the 1997 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 1997), Las Vegas, NV (June 1997), 1239--1248.

S. Mishra. An Experimental Study of Distributed System Behavior. Proceedings of the 12th ISCA International Conference on Computers and their Applications (CATA 1997), Phoenix, AZ (March 1997), 171--174.

1996

F. Cristian, S. Mishra and Y. Hyun. Implementation and Performance of a Stable Storage Service in Unix. Proceedings of the 15th IEEE Symposium on Reliable Distributed Systems (SRDS 1996), Niagara, Canada (October 1996), 86--95.

S. Mishra. Constructing Dependable Distributed Software for Space Applications. Proceedings of the 1996 Wyoming Space Grant Symposium, Laramie, WY (October 1996), 9--10.

F. Cristian and S. Mishra. A Toolkit of Services for Implementing Fault-Tolerant Distributed Protocols. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 1996), Sunnyvale, CA (August 1996) 789--800.

S. Mishra. Distributed System Behavior in the Presence of Asynchrony and Failures. Proceedings of the 11th International Conference on Systems Engineering, Las Vegas, NV (July 1996) 420--425.

S. Mishra and D. Wang. Choosing an Appropriate Checkpointing and Rollback Recovery Algorithm for Long-Running Parallel and Distributed Applications. Proceedings of the International Conference on Computers and their Applications (CATA 1996), San Francisco, CA (March 1996), 24--27.

1995

G. Alvarez, F. Cristian and S. Mishra. On-Demand Fault-Tolerant Atomic Broadcast Protocol. Proceedings of the Fifth IFIP International Conference on Dependable Computing for Critical Applications (DCCA 1995), Urbana-Champaign, IL (September 1995).

F. Cristian and S. Mishra. The Pinwheel Asynchronous Atomic Broadcast Protocols. Proceedings of the Second International Symposium on Autonomous Decentralized Systems (ISADS 1995), Phoenix, AZ (April 1995), 215--221.

1994

F. Cristian, R. De Beijer and S. Mishra. A Performance Comparison of Asynchronous Atomic Broadcast Protocols. Distributed Systems Engineering Journal, 1(4), June 1994.

M. Ahuja and S. Mishra. Units of Computation in Fault-Tolerant Distributed Systems. Proceedings of the 14th International Conference on Distributed Computing Systems (ICDCS 1994), Poznan, Poland (June 1994).

F. Cristian and S. Mishra. Automatic Service Availability Management in Asynchronous Distributed Systems. Proceedings of the Second International Workshop on Configurable Distributed Systems, Pittsburgh, PA, (March 1994), 58--68.

1993

S. Mishra, L. Peterson and R. Schlichting. Consul: A Communication Substrate for Fault-tolerant Distributed Programs. Distributed Systems Engineering Journal, 1(2), December 1993.

S. Mishra, L. Peterson and R. Schlichting. Experience with Modularity in Consul. Software---Practice and Experience, 23(10), October 1993.

F. Cristian, R. De Beijer and S. Mishra. Comparing How Well Asynchronous Atomic Broadcast Protocols Perform. Proceedings of the Third International Workshop on Responsive Computer Systems, Lincoln, NH, (Sept 1993), 192--204.

S. Mishra, L. Peterson and R. Schlichting. Modularity in the Design and Implementation of Consul. Proceedings of the First International Symposium on Autonomous Decentralized Systems, Kawasaki, Japan (Mar 1993), 376--382.

1992 and earlier

S. Mishra and P. Srimani. Fault-Tolerant Mutual Exclusion Algorithms. The Journal of Systems and Software, 11(2), February 1990.

S. Mishra and P. Srimani. Performance Evaluation of Three Distributed Mutual Exclusion Algorithms for Computer Networks. Computer Systems: Science and Engineering, 5(1), April 1990.

N. Hutchinson, S. Mishra, L. Peterson and V. Thomas. Tools for Implementing Network Protocols. Software---Practice and Experience, 19(9), September 1989.

S. Mishra, L. Peterson and R. Schlichting. Protocol Modularity in Systems for Managing Replicated Data. Proceedings of the Second Workshop on Management of Replicated Data, Monterey, CA (November 1992).

S. Mishra, L. Peterson and R. Schlichting. A Membership Protocol Based on Partial Order. Proceedings of the Second IFIP Working Conference on Dependable Computing for Critical Applications (DCCA 1991), Tucson, AZ (February 1991), 137--145.

S. Mishra, L. Peterson and R. Schlichting. Communication Substrate for Maintaining Replicated Data. Proceedings of the First Workshop on Management of Replicated Data, Houston, TX (November 1990), 125--128.

R. Schlichting, S. Mishra and L. Peterson. Fault-Tolerance Aspects of the Psync IPC Mechanism (with R. Schlichting and L. Peterson). IEICE Technical Report, Vol. 89, No 12 (April 1990), 47--54, (Invited Paper).

S. Mishra, L. Peterson and R. Schlichting. Implementing Fault-Tolerant Replicated Objects Using Psync. Proceedings of the 8th Symposium on Reliable Distributed Systems (SRDS 1989), Seattle, WA (October 1989), 42--52.

S. Mishra and P. Srimani. A Fault Tolerant Algorithm for Mutual Exclusion in Computer Networks. Proceedings of the Canadian Information Processing Society Computer Conference, Edmonton, Canada (November 1987).

S. Mishra and P. Srimani. A Robust Algorithm for Mutual Exclusion in Computer Networks. Proceedings of the 1987 Fall Joint Computer Conference, Dallas, TX (October 1987), 335--342.

S. Mishra, S. Mitra and M. Thakur. An Analytical Model for Software Reliability. Computer Society of India Convention, New Delhi (March 1985).