A Formal Verification Of Mutation-based Moving Target Defense
ABSTRACT
Static system configuration provides the advantage for the attackers to discover the vulnerabilities of the system and launch attacks.
Taming Web Views In The Detection Of Android Privacy Leaks
ABSTRACT
Billions of smartphone users force both technical and non-technical facilities to publish their applications in market. One of the easiest ways to create an application for non-techies is by transferring their existing website using WebView. Current approaches for privacy policy analysis are mainly focused on APIs and predefined user interfaces and cannot cover these type of information. In this paper, we proposed a novel solution to trace the input data that is collected from WebView.
BIO
Towards An Understanding Of Resilience With Complex Networks
BIO
Francisco Pipa is a Graduate student in the Department of Philosophy, University of Kansas. Studying resilience and robustness in complex systems.
TRACTION: An Infrastructure For TRusted Alert Sharing And Collaborative MitigaTION
BIO
Keywhan Chung is a Ph.D. candidate at the University of Illinois with Professor Ravishankar Iyer and Professor Kalbarczyk. He received a B.S. degree in computer engineering from Purdue University and an M.S. degree in computer engineering from the University of Illinois. As a member of the DEPEND research group, his research focuses on developing efficient measures toward secure and reliable computer systems. His current work includes looking towards potential advanced threats such as indirect or smart attacks.
Design For An Educational Cyber Range
ABSTRACT
The ”Cyber Range” concept has arisen as a method for organizations to provide realistic training in penetration testing and incident response. These ranges typically utilize virtualization to reduce cost and allow for rapid reconfiguration. However, most management software is expensive or difficult to install. This paper presents a management application using open-source software with the intent of allowing educators to rapidly create virtual ranges at minimal cost.
BIO