The mission of the Laboratory of Security Engineering for Future Computing (SEFCOM) at Arizona State University is to make significant impact to our society through innovative research projects, assurable development, and hands-on training programs in the areas of cyberspace security and defense. Current research interests include identity management and access control, formal models for computer security, network and distributed systems security including mobile and cloud computing, vulnerability and risk assessment and cyber crime analysis among others.
- To be one of the leading research laboratories in cyberspace security and defense.
- To collaborate with other institutions, government agencies, and industrial organizations to advance the state of cyberspace security and defense.
- SEFCOM is looking for Ph.D students starting from Fall' 14 who have a solid background in security and operating systems.
- Our social network project website SNGuard is available.
- September 2014 (Paper): Our paper 'Towards Automated Risk Assessment and Mitigation of Mobile Application' has been accepted by IEEE TDSC.
- August 2014 (Paper): Our paper 'Morpheus: Automatically Generating Heuristics to Detect Android Emulators' has been accepted by ACSAC 2014.
- June 2014 (Travel Grant): Wonkyu Han has received a student travel grant from ACM SIGCOMM 2014.
- April 2014 (Paper): Our paper 'FlowGuard: Building Robust Firewalls for Software-Defined Networks' has been accepted as a full paper with a long presentation by ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking HotSDN 2014.
- April 2014 (Paper): Our paper 'Game Theoretic Analysis of Multiparty Access Control in Online Social Networks' has been accepted by ACM SACMAT 2014.
- April 2014 (Paper): Our paper "LPM: Layered Policy Management for Software-Defined Networks" has been accepted by DBSec 2014.
- March 2014 (Award): Our paper 'RiskMon: Continuous and Automated Risk Assessment of Mobile Applications' received the Best Paper Award in ACM CODASPY 2014.
- February 2014 (Paper): Our paper for building Reliable Firewalls for Software-Defined Networks (SDNs) has been accepted by Open Networking Summit 2014 Research Track.
- November 2013 (Paper): Our paper about Continuous and Automated Risk Assessment of Mobile Applications has been accepted by ACM CODASPY 2014.
- October 2013 (Paper): Our paper about Role-Based Cryptosystem has been accepted by IEEE TIFS 2013.
- June 2013 (Paper): Our paper about shellcode detection and attribution has been accepted by IEEE CNS 2013.
- April 2013 (Paper): Our paper about the security of Picture Gesture Authentication has been accepted by USENIX Security 2013.
- April 2013 (Paper): Our paper about Verifying Access Control Properties with Design by Contract has been accepted by IEEE COMPSAC.
- Jan 2013 (Paper): Our paper about Discovery and Resolution of Anomalies in Web Access Control Policies has been accepted by IEEE TDSC.