--------------------------------------------------------------------------- Carl Livadas Work Address 150 Mathilda Place Suite 202 Sunnyvale, CA 94086 +1.408.200.4911 Home Address 1942 Silverwood Ave Mountain View, CA 94043 +1.617.642.4249 Email: clivadas@alum.mit.edu URL: http://people.csail.mit.edu/clivadas/ --------------------------------------------------------------------------- Objective Research and development of novel and exciting technologies that make an immediate impact. Interested in distributed systems, networking/communication within p2p systems (e.g., overlay setup and maintenance, content search/discovery, publish-subscribe and gossip-based communication), and the application of practical machine learning and search techniques in the systems/networking domains. --------------------------------------------------------------------------- Education Massachusetts Institute of Technology, Cambridge, MA PhD in Electrical Engineering and Computer Science (EECS), July 2003 Master of Engineering in EECS, Sept. 1997 Master of Science in Aeronautics and Astronautics, February 1996 Bachelor of Science in Computer Science, September 1993 Bachelor of Science in Aeronautics and Astronautics, June 1993 Phillips Academy, Graduated with Honors, June 1989 Andover, MA --------------------------------------------------------------------------- Honors Barger Fellow, BBN Technologies, 2003 Member of the Massachusetts Beta Theta Chapter of the HKN National Electrical Engineering Honor Society, 1992 Member of the Massachusetts B Chapter of the Tau Beta Pi National Engineering Honor Society, 1991 --------------------------------------------------------------------------- Experience KAYAK Director of Engineering; April 2010-Present Principal Scientist; April 2009-April 2010 Leading the engineering efforts of KAYAK's Sunnyvale office focusing on KAYAK's email, deals, online advertising, and parts of the mobile application products. As a principal scientist, focused on efforts to regionalize/personalize KAYAK's products and optimize performance. Intel Corporation Research Scientist, Communication Technology Lab, Corporate Technology Group January 2008-April 2009 Research Scientist (Consulting), Intel Research (Santa Clara) October 2006-January 2008 Contributing to several aspects of the Distributed Detection and Inference (DDI) project. DDI is a collaborative worm detection system involving local and global detectors on end-hosts. Local detectors issue and disseminate local infection reports indicating whether the end-host is infected. Global detectors collect local infection reports and issue system-wide alarms when the infection evidence has sufficiently been corroborated. Prior and current work includes the design and implementation of: 1) an adaptive local detector that adjusts the threshold of issuing alarms based on a learned model of its behavior, 2) a faithful analytic model of the behavior of DDI; this model is critical in understanding the behavior of the system, evaluating its performance and scalability properties, and exploring its parameter space, and 3) efficient and scalable gossip-based messaging and membership services for DDI. These services were implemented using: 1) a novel p2p overlay among the end-hosts supporting a highly dynamic membership and 2) a novel Bloom-filter based publish-subscribe scheme for command and control and data dissemination among the end-hosts. Manager: Dr. Eve M. Schooler BBN Technologies, Cambridge, MA Network Scientist, Internetwork Research Department September 2003-October 2006 Conducted cutting edge research in computer networks. Contributed to the following projects: ZombieStones; A system that leverages machine learning techniques to identify network connections that are part of suspicious botnets. IP-SPOOR; An entropy-based study of how to place network traffic monitors for effective IP packet traceback (i.e., tracing an IP packet involved in a cyber-attack back to its true source host). Stepping Stones; A system that identifies interactive connections that are used in sequence to obfuscate the origin of a cyber-attack. Stingray; An insider threat detection system that uses Bloom filters to efficiently log large amounts of network traffic and principal components analysis and machine learning techniques to detect network traffic anomalies. Performance Evaluation of a Proprietary Network; An evaluation of the performance of a proprietary network (disclosure of details of this project is restricted). Manager: Dr. W. Timothy Strayer MIT, Laboratory for Computer Science Research Assistant, Theory of Distributed Systems Group January 1999-August 2003; Cambridge, MA Designed, modeled, and analyzed (both formally and through simulation) a variant of the Scalable Reliable Multicast (SRM) protocol that exploits packet loss locality through caching. Research Advisor: Prof. Nancy A. Lynch. MIT, $50K Entrepreneurship Competition Semi-finalist, Prosopa.com January 2000-May 2000; Cambridge MA Prosopa.com leveraged audio and video technology developed at the MIT AI Lab to deliver photo-realistic talking faces driven by text or audio. Prosopa.com's target markets included personalized video advertisements, customer support applications, and automated news-readers. IBM, Thomas J. Watson Research Center Summer Intern, Commercial Parallel Systems Group Summer 1999; Yorktown Heights, NY Researched the area of persistent TCP connections, a feature included in HTTP 1.1. Developed a simulator to evaluate the performance of persistent TCP connections between proxy and back-end servers. MIT, $50K Entrepreneurship Competition Semi-finalist, FairTrust, Inc. (now OpenRatings, Inc.) January 1999-May 1999; Cambridge, MA FairTrust, Inc. delivered consumer-to-consumer trustworthiness rating services to online communities such as E-bay, Inc. FairTrust, Inc. has since transformed itself into OpenRatings, Inc. (www.openratings.com). MIT, Laboratory for Computer Science Research Assistant, Theory of Distributed Systems Group June 1996-Jan. 1997 & June 1997-Jan. 1999; Cambridge, MA Participated in research involving the modeling and verification of hybrid systems using Hybrid I/O Automata. Performed modeling and verification of Raytheon Corporation's Personal Rapid Transit system (PRT 2000TM) and the Traffic Alert and Collision Avoidance System (TCAS) of commercial aircraft. Research Advisor: Prof. Nancy A. Lynch. MIT, Department of Electrical Engineering and Computer Science Teaching Assistant Cambridge, MA Math for Computer Science (6.042), Spring 2000 Lab. in Software Engineering (6.170), Spring 1997 Lab. in Software Engineering (6.170), Spring 1996 Computer Language Eng. (6.035), Fall 1995. MIT, Department of Aeronautics and Astronautics Research Assistant, Space Engineering Research Center September 1993-August 1995; Cambridge, MA Developed a formulation of H2 robustness criteria for systems involving real parametric uncertainties in terms of linear matrix inequalities (LMIs) and an iterative robust H_2 controller synthesis scheme. Research Advisor: Prof. Stephen R. Hall. --------------------------------------------------------------------------- Leadership BBN Technologies, Member of the Quality of Life Taskforce January 2004-January 2005; Cambridge, MA MIT, President of Hellenic Students' Association March 1994-February 1995; Cambridge, MA --------------------------------------------------------------------------- Proficiencies Computer Skills: C, MATLAB, Perl, ns (Network Simulator in C++/Tcl), HTML, and LATEX. Languages: English, French, and Greek. --------------------------------------------------------------------------- Publications Papers 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. Conference and Workshop Papers [1] J. M. Agosta, C. Diuk-Wasser, J. Chandrashekar, and C. Livadas, "An adaptive anomaly detector for worm detection," in Second Workshop on Tackling Computer Systems Problems with Machine Learning Techniques (SysML'07), (Cambridge, MA), Apr. 2007. Co-located with NSDI'07. [2] C. Livadas, R. Walsh, D. Lapsley, and W. T. Strayer, "Using Machine Learning Techniques to Identify Botnet Traffic," in Proc. IEEE LCN Workshop on Network Security (WoNS'06), (Tampa, FL), Nov. 2006. [3] W. T. Strayer, R. Walsh, C. Livadas, and D. Lapsley, "Detecting Botnets with Tight Command and Control," in Proc. 31st Conference on Local Computer Networks (LCN'06), (Tampa, FL), Nov. 2006. [4] W. T. Strayer, C. Jones, B. Schwartz, J. Mikkelson, and C. Livadas, "Architecture for Multi-Stage Network Attack Traceback," in Proc. IEEE LCN Workshop on Network Security (WoNS 2005), (Sydney, Australia), Nov. 2005. [5] C. Livadas and I. Keidar, "Caching-Enhanced Scalable Reliable Multicast," in Proc. International Conference on Dependable Systems and Networks (IEEE/DSN'04), (Florence, Italy), pp. 253-262, IEEE Computer Society, July 2004. [6] C. Livadas and N. A. Lynch, "A Formal Venture into Reliable Multicast Territory," in Proc. 22nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02) (D. A. Peled and M. Y. Vardi, eds.), vol. 2529 of Lecture Notes in Computer Science, (Houston, TX),pp. 146-161, Springer-Verlag, Nov. 2002. [7] C. Livadas, I. Keidar, and N. A. Lynch, "Designing a Caching-Based Reliable Multicast Protocol," in Proc. International Conference on Dependable Systems and Networks (IEEE/DSN'01), Fast Abstracts Supplement, (Goteborg, Sweden), pp. B44-B45, IEEE Computer Society, July 2001. [8] C. Livadas, J. Lygeros, and N. A. Lynch, "High-Level Modeling and Analysis of TCAS," in Proc. 20th IEEE Real-Time Systems Symposium (RTSS'99), (Phoenix, Arizona), pp. 115-125, IEEE Computer Society, Dec. 1999. [9] C. Livadas and N. A. Lynch, "Formal Verification of Safety-Critical Hybrid Systems," in Hybrid Systems: Computation and Control (HSCC'98) (T. A. Henzinger and S. Sastry, eds.), vol. 1386 of Lecture Notes in Computer Science, pp. 253-272, Springer-Verlag, 1998. The First International Workshop, Hybrid Systems: Computation and Control (HSCC'98) took place in Berkeley, California, in April 1998. [10] K. Y. Yang, C. Livadas, and S. R. Hall, "Using Linear Matrix Inequalities to Design Controllers for Robust H_2 Performance," in Proc. AIAA Guidance Navigation and Control Conference, (San Diego,CA), July 1996. [11] K. Y. Yang, C. Livadas, and S. R. Hall, "On the Utility of Tensor Inequalities for Robustness Analysis,"in Proc. AIAA Guidance Navigation and Control Conference, (Baltimore, MD), pp. 122-131, July 1995. Book Chapters and Journal Papers [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. [2] C. Livadas, J. Lygeros, and N. A. Lynch, "High-Level Modeling and Analysis of the Traffic Alert and Collision Avoidance System (TCAS)," Proceedings of the IEEE, Special Issue on Hybrid Systems: Theory & Applications, vol. 88, pp. 926-948, July 2000. Conference/Workshop Technical Reports [1] C. Livadas and I. 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. [2] C. Livadas and N. A. Lynch, "A Formal Venture into Reliable Multicast Territory," Technical Report MIT/LCS/TR-868, Lab. for Computer Science, MIT, Cambridge, MA, Nov. 2002. 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,PhD Area Exam Report, Sept. 2002. Theses [1] C. Livadas, Formally Modeling, Analyzing, and Designing Network Protocols -- A Case Study on Retransmission-Based Reliable Multicast Protocols. Doctor of Philosophy Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, July 2003. [2] C. Livadas, "Formal Verification of Safety-Critical Hybrid Systems," Master of Engineering Thesis,Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA, Sept. 1997. [3] C. Livadas, "Optimal H2/Popov Controller Design Using Linear Matrix Inequalities," Master of Science Thesis in Aeronautics and Astronautics, MIT, Feb. 1996. [4] C. Livadas, "Data Locality on the Alewife Machine in the Barnes-Hut N-body Application," Bachelor of Science Thesis in Electrical Engineering and Computer Science, MIT, Sept. 1993. --------------------------------------------------------------------------- Academic Experience Intel Corporation: Intel liaison for Intel Corporate Research Grant to Prof. Wu-chang Feng of Portland State University to conduct research in leveraging Intel platform functionality to ensure authenticity and integrity in online game P2P communications. Technical Program Committee: Network Computing and Applications (NCA'07) Network Computing and Applications (NCA'08) Session Chair: Reliable Multicast session of 2005 IEEE Symposium on Network Computing and Applications (NCA'05), Cambridge, MA. Journal Reviewer: Transactions on Mobile Computing Transactions on Computers; Special Issue on Autonomic Computing Trans. on Automatic Control; Special Issue on Hybrid Systems Theoretical Computer Science AMAST Workshop on Real-Time Systems (ARTS) ACTA Informatica. Conference Reviewer: IEEE Symposium on Network Computing and Applications IEEE Conference on Computer Communications (IEEE/INFOCOM) ACM Symposium on Principles of Distributed Computing (ACM/PODC) Conference on Decision and Control (IEEE/CDC) --------------------------------------------------------------------------- Background US and Greek Citizenship. --------------------------------------------------------------------------- References Prof. Nancy A. Lynch NEC Professor of Software Science and Engineering Professor of Electrical Engineering and Computer Science Massachusetts Institute of Technology Tel: +1.617.253.7225 Fax: +1.617.258.8682 Email: lynch@csail.mit.edu URL: http://people.csail.mit.edu/lynch/ Eve M. Schooler, Ph.D. Principal Engineer Communication Technology Lab (CTL) Corporate Technology Group (CTG) Intel Corporation Tel: +1.408.765.1591 Fax: +1.408.653.8238 Email: eve.m.schooler@intel.com Alberto A. Medina, Ph.D. Network Scientist Internetworking Research Department BBN Technologies Tel: +1.617.873.6203 Fax: +1.617.873.6091 Email: amedina@bbn.com URL: http://www.ir.bbn.com/~amedina/ Cesar Santivanez, Ph.D. Network Scientist Internetworking Research Department BBN Technologies Tel: +1.617.873.8238 Fax: +1.617.873.6091 Email: csatniva@bbn.com ---------------------------------------------------------------------------