Mihai Christodorescu

Somesh Jha, Matt Fredrikson, Mihai Christodorescu, 2013, 2013 8th International Conference on Malicious and Unwanted Software: "The Americas" (MALWARE).

A quantitative study of accuracy in system call-based malware detection

Christopher Krügel, Engin Kirda, Mihai Christodorescu, 2012, ISSTA 2012.

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

Somesh Jha, Matt Fredrikson, Mihai Christodorescu, 2010, 2010 IEEE Symposium on Security and Privacy.

The House That Knows You: User Authentication Based on IoT Data

Cristina Nita-Rotaru, Mihai Christodorescu, Alina Oprea, 2019, ArXiv.

Proceedings of the 2012 ACM Workshop on Building analysis datasets and gathering experience returns for security

Mihai Christodorescu, Ting Yu, 2012, CCS 2012.

A Declarative Framework for Intrusion Analysis

Somesh Jha, Jonathon T. Giffin, Matt Fredrikson, 2010, Cyber Situational Awareness.

TroGuard: context-aware protection against web-based socially engineered trojans

Saman A. Zonouz, Mihai Christodorescu, Rui Han, 2014, ACSAC '14.

Mining Large Information Networks by Graph Summarization

Jiawei Han, Chen Chen, Cindy Xide Lin, 2010, Link Mining.

Cloud Security Is Not (Just) Virtualization Security

Daniele Sgandurra, Mihai Christodorescu, Reiner Sailer, 2009 .

Diffie-Hellman Key Exchange

Tor Helleseth, Kazue Sako, Luc Bouganim, 2011, Encyclopedia of Cryptography and Security.

Session details: Software security 1

Mihai Christodorescu, 2008, CCS '08.

Malware Detection (Advances in Information Security)

Dawn Song, Somesh Jha, Mihai Christodorescu, 2006 .

Software transformations to improve malware detection

Stefan Katzenbeisser, Helmut Veith, Somesh Jha, 2007, Journal in Computer Virology.

Enhancing Android Security Through App Splitting

Somesh Jha, Mihai Christodorescu, Drew Davidson, 2017, SecureComm.

A semantics-based approach to malware detection

Somesh Jha, Saumya K. Debray, Mila Dalla Preda, 2008, TOPL.

Session details: Vulnerabilities (2)

Mihai Christodorescu, 2010, CCSW '10.

Malware Detection

Dawn Song, Somesh Jha, Mihai Christodorescu, 2010, Advances in Information Security.

What matters to users?: factors that affect users' willingness to share information with online advertisers

Yang Wang, Blase Ur, Lujo Bauer, 2013, SOUPS.

The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection

Lui Sha, Man-Ki Yoon, Sibin Mohan, 2016, SYSTOR.

Strengthening software self-checksumming via self-modifying code

Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger, 2005, 21st Annual Computer Security Applications Conference (ACSAC'05).

Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms

Somesh Jha, Matt Fredrikson, Mihai Christodorescu, 2011, CADE.

VeritasDB: High Throughput Key-Value Store with Integrity

Mihai Christodorescu, Rohit Sinha, Mihai Christodorescu, 2018, IACR Cryptol. ePrint Arch..

Stream computing for large-scale, multi-channel cyber threat analytics

Jiyong Jang, Mihai Christodorescu, Ting Wang, 2014, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).

Can Cooperative Intrusion Detectors Challenge the Base-Rate Fallacy?

Mihai Christodorescu, Shai Rubin, Mihai Christodorescu, 2007, Malware Detection.

PIFT: Predictive Information-Flow Tracking

Yin Chen, Man-Ki Yoon, Mihai Christodorescu, 2016, ASPLOS.

Testing malware detectors

Somesh Jha, Mihai Christodorescu, S. Jha, 2004, ISSTA '04.

OmniUnpack: Fast, Generic, and Safe Unpacking of Malware

Somesh Jha, Mihai Christodorescu, Lorenzo Martignoni, 2007, Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007).

Practical Comprehensive Bounds on Surreptitious Communication over DNS

Vern Paxson, Mihai Christodorescu, Nicholas Weaver, 2013, USENIX Security Symposium.

Using Binary Code Rewrite to Bypass License Checks

Barton P. Miller, Mihai Christodorescu, Tevfik Kosar, 2003 .

Decentralized Trust Management

Tor Helleseth, Kazue Sako, Luc Bouganim, 2011, Encyclopedia of Cryptography and Security.

Cloud security is not (just) virtualization security: a short paper

Daniele Sgandurra, Mihai Christodorescu, Reiner Sailer, 2009, CCSW '09.

Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System

Lui Sha, Man-Ki Yoon, Jaesik Choi, 2017, 2017 IEEE/ACM Second International Conference on Internet-of-Things Design and Implementation (IoTDI).

Learning Execution Contexts from System Call Distributions for Intrusion Detection in Embedded Systems

Lui Sha, Man-Ki Yoon, Jaesik Choi, 2015 .

Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12)

Mihai Christodorescu, 2012, CCS '12.

Monitoring Data Structures Using Hardware Transactional Memory

Arati Baliga, Vinod Ganapathy, Mihai Christodorescu, 2011, RV.

Semantics-aware malware detection

Somesh Jha, Dawn Xiaodong Song, Sanjit A. Seshia, 2005, 2005 IEEE Symposium on Security and Privacy (S&P'05).

Behavior-based malware detection

Somesh Jha, Mihai Christodorescu, 2007 .

Robust Learning against Logical Adversaries pdf

Somesh Jha, Mihai Christodorescu, Yizhen Wang, 2020, ArXiv.

Passive security intelligence to analyze the security risks of mobile/BYOD activities

Mihai Christodorescu, Kapil Singh, Xin Hu, 2016, IBM J. Res. Dev..

Inter-Disciplinary Research Challenges in Computer Systems for the 2020s

Erik Elmroth, Dawn Song, Michael Scott, 2018 .

Security and Privacy in Communication Networks

Somesh Jha, Mihai Christodorescu, Drew Davidson, 2017, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.

Mining specifications of malicious behavior

Somesh Jha, Christopher Krügel, Mihai Christodorescu, 2008, ISEC '08.

Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes

Barton P. Miller, Mihai Christodorescu, Tevfik Kosar, 2001, Parallel Process. Lett..

AccessMiner: using system-centric models for malware protection

Christopher Krügel, Engin Kirda, Mihai Christodorescu, 2010, CCS '10.

Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems pdf

Lui Sha, Man-Ki Yoon, Jaesik Choi, 2015, ArXiv.

A semantics-based approach to malware detection

Somesh Jha, Saumya K. Debray, Mila Dalla Preda, 2007, POPL '07.

REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways pdf

Abhinav Aggarwal, Mihai Christodorescu, Mahdi Zamani, 2017, ArXiv.