Carl Livadas, Ph.D.

Sojern
VP of Engineering and Data Science
255 California St, Suite 1000
San Francisco, CA 94111
USA

Cell+1.617.642.4249
Email    [username] [at] alum.mit.edu
URLMIT/CSAIL Profile
URLLinkedIn Profile

Resume: [pdf,ps] CV: [pdf,ps,txt]


Education

Experience

Publications

Under Submission

  1. M. Sherr, J. M. Agosta, J. Chandrashekar, D. H. Dash, C. Livadas, and E. M. Schooler, Of worms and anti-worms: Collaborative detection and containment of stealthy worms in the enterprise. Under Preparation, 2007.

  2. C. Livadas, J. M. Agosta, J. Chandrashekar, D. H. Dash, and E. M. Schooler, Collaborative worm detection: Architectural insights using an approximate model. Under Preparation, 2007.

  3. D. H. Dash, J. M. Agosta, and C. Livadas, Random subset ensembles for scalable outbreak detection. Under Preparation, 2007.

Book Chapters/Journals

  1. W. T. Strayer, D. Lapsley, R. Walsh, and C. Livadas, Botnet Detection: Countering the Largest Security Threat, ch. Botnet Detection Based on Network Behavior. Springer-Verlag, To appear 2007/2008.
    [Springer-Verlag, bib]

  2. Carolos Livadas, John Lygeros, and Nancy A. Lynch. High-Level Modeling and Analysis of the Traffic Alert and Collision Avoidance System (TCAS). Proceedings of IEEE, Special Issue on Hybrid Systems: Theory & Applications, Vol. 88, No. 7, pp. 926-948, July 2000.
    [pdf, bib]

Conferences/Workshops/Tech Reports

  1. John Mark Agosta, Carlos Diuk-Wasser, Jaideep Chandrashekar, Carl Livadas. An adaptive anomaly detector for worm detection. Proceedings of the 2nd Workshop onTackling Computer Systems Problems with Machine Learning Techniques (SysML'07).
    [pdf,bib]

  2. Carolos Livadas and Nancy A. Lynch. A Reliable Broadcast Scheme for Sensor Networks. Technical Report MIT-LCS-TR-915, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, February 2007 (Revision of earlier version dated August 2003).
    [pdf,bib]

  3. Carl Livadas, Robert Walsh, David Lapsley, and W. Timothy Strayer. Using Machine Learning Techniques to Identify Botnet Traffic. Proceedings of the 2nd IEEE LCN Workshop on Network Security (WoNS'2006). November 2006.
    [pdf,bib]

  4. W. Timothy Strayer, Robert Walsh, Carl Livadas, and David Lapsley. Detecting Botnets with Tight Command and Control. Proceedings of the 31st IEEE Conference on Local Computer Networks (LCN'06). November 2006.
    [pdf,bib]

  5. Tim Strayer, Christine Jones, Beverly Schwartz, Joanne Mikkelson, and Carl Livadas. Architecture for Multi-Stage Network Attack Traceback. Proceedings of the IEEE LCN Workshop on Network Security (WoNS'2005), Sydney, Australia. November 2005.
    [pdf,bib]

  6. Carolos Livadas and Idit Keidar. Caching-Enhanced Scalable Reliable Multicast. Proceedings of the International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June/July 2004.
    [pdf,bib]

  7. Carolos Livadas and Nancy A. Lynch. A Formal Venture into Reliable Multicast Territory. Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02, Houston, TX, November, 2002), Doron A. Peled and Moshe Y. Vardi, Eds., Volume 2529 of Lecture Notes in Computer Science, Springer Verlag, pp. 146-161. Full version as Technical Report MIT/LCS/TR-868, Lab. for Computer Science, MIT, Cambridge, MA, Nov. 2002.
    [pdf,bib]

  8. Carolos Livadas and Nancy A. Lynch. A Formal Venture into Reliable Multicast Territory. Technical Report MIT/LCS/TR-868, Lab. for Computer Science, MIT, Cambridge, MA, Nov. 2002.
    [pdf,bib]

  9. Carolos Livadas and Idit Keidar. The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery. Technical Report MIT/LCS/TR-867, Lab. for Computer Science, MIT, Cambridge, MA, Oct. 2002.
    [pdf,bib]

  10. Carolos Livadas, Idit Keidar, and Nancy A. Lynch. Designing a Caching-Based Reliable Multicast Protocol. Proceedings of the International Conference on Dependable Systems and Networks (DSN'01), Fast Abstracts Supplement, pp. B44-B45, Gothenburg, Sweden, July 2001.
    [pdf,bib]

  11. Carolos Livadas, John Lygeros, and Nancy A. Lynch. High-Level Modeling and Analysis of TCAS. Proceedings of the 20th IEEE Real-Time Systems Symposium, pp. 115-125, Phoenix, Arizona, December, 1999.
    [pdf,bib]

  12. Carolos Livadas and Nancy A. Lynch. Formal Verification of Safety-Critical Hybrid Systems. In S. Sastry and T.A. Henzinger, editors, Hybrid Systems: Computation and Control (First International Workshop, HSCC'98, Berkeley, CA, USA, April, 1998), Volume 1386 of Lecture Notes in Computer Science, Springer Verlag, pp. 253-272.
    [pdf,bib]

  13. Kyle Y. Yang, Carolos Livadas, and Steven R. Hall, Using Linear Matrix Inequalities to Design Controllers for Robust H2 Performance, Proceedings of the AIAA Guidance Navigation and Control Conference, San Diego, CA, July 1996.
    [AIAA Online Library,bib]

  14. Steven R. Hall, Kyle Y. Yang, and Carolos Livadas, On the Utility of Tensor Inequalities for Robustness Analysis, Proceedings of the AIAA Guidance Navigation and Control Conference, Baltimore, MD, August 1995, pp. 122-131.
    [AIAA Online Library,bib]

Unpublished Manuscripts

  1. C. Livadas, N. A. Lynch, T. Nguyen, and A. Zakhor, Correctness and Performance Analysis of a Distributed Video Streaming Protocol. Unpublished Manuscript, July 2002.

  2. C. Livadas, An Evaluation of Three Application-Layer Multicast Protocols. Unpublished Manuscript, Ph.D. Area Exam Report, Sept. 2002.
    [pdf,bib]

Theses

  1. Carolos Livadas, Formally Modeling, Analyzing, and Designing Network Protocols --- A Case Study on Retransmission-Based Reliable Multicast Protocols, Doctor of Philosophy Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, July 2003.
    [pdf,bib]

  2. Carolos Livadas, Formal Verification of Safety-Critical Hybrid Systems, Master of Engineering Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, September 1997. Also, Technical Report MIT/LCS/TR-730, Laboratory for Computer Science, Massachusetts Institute of Technology, September 1997.
    [pdf,bib]

  3. Carolos Livadas, Optimal H2/Popov Controller Design Using Linear Matrix Inequalities, Master of Science Thesis in Aeronautics and Astronautics, MIT, February 1996.
    [pdf,bib]

  4. Carolos Livadas, Data Locality on the Alewife Machine in the Barnes-Hut N-body Application, Carolos Livadas, Bachelor of Science Thesis in Computer Science and Engineering, MIT, September 1993.
    [pdf,bib]


Last modified: 2010/05/31, 23:32:00.