Steven Cheung

31 papers A* 2A 1C 2Misc 1Journal 11Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Interpreting Agent Behaviors in Reinforcement-Learning-Based Cyber-Battle Simulation Platforms.
CoRR
Jared Claypoole, Steven Cheung, Ashish Gehani, Vinod Yegneswaran, Ahmad Ridley
2022 — conf
A Format-Aware Reducer for Scriptable Rewriting of PDF Files.
SP (Workshops)
Prashant Anantharaman, Steven Cheung, Nicholas Boorman, Michael E. Locasto
2021 J jnl
Scalable Microservice Forensics and Stability Assessment Using Variational Autoencoders.
CoRR
Prakhar Sharma, Phillip A. Porras, Steven Cheung, James Carpenter, Vinod Yegneswaran
2018 Misc conf
A Functional Perspective on Machine Learning via Programmable Induction and Abduction.
FLOPS
Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
2017 J jnl
Abductive functional programming, a semantic approach.
CoRR
Koko Muroya, Steven Cheung, Dan R. Ghica
2015 A* conf
Securing the Software Defined Network Control Layer.
NDSS
Phillip A. Porras, Steven Cheung, Martin W. Fong, Keith Skinner, Vinod Yegneswaran
2012 A* conf
StegoTorus: a camouflage proxy for the Tor anonymity system.
CCS
Zachary Weinberg, Jeffrey Wang, Vinod Yegneswaran, Linda Briesemeister, Steven Cheung, Frank Wang, Dan Boneh
2011 — conf
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Formal Modeling: Actors, Open Systems, Biological Systems
Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
2011 J jnl
Securing Collaborative Intrusion Detection Systems.
IEEE Secur. Priv.
Steven Cheung
2010 C conf
Detection, correlation, and visualization of attacks against critical infrastructure systems.
PST
Linda Briesemeister, Steven Cheung, Ulf Lindqvist, Alfonso Valdes
2009 — conf
Intrusion Monitoring in Process Control Systems.
HICSS
Alfonso Valdes, Steven Cheung
2009 — conf
Malware Characterization through Alert Pattern Discovery.
LEET
Steven Cheung, Alfonso Valdes
2007 J jnl
Automatic analysis of firewall and network intrusion detection system configurations.
J. Comput. Secur.
Tomás E. Uribe, Steven Cheung
2007 — conf
Securing Current and Future Process Control Systems.
Critical Infrastructure Protection
Robert K. Cunningham, Steven Cheung, Martin W. Fong, Ulf Lindqvist, David M. Nicol, Ronald Pawlowski, Eric Robinson, William H. Sanders, Sankalp Singh, Alfonso Valdes, Bradley Woodworth, Michael Zhivich
2006 J jnl
Denial of Service against the Domain Name System.
IEEE Secur. Priv.
Steven Cheung
2006 — conf
Detecting Disruptive Routers in Wireless Sensor Networks.
ADHOC-NOW
Steven Cheung, Bruno Dutertre, Ulf Lindqvist
2004 — conf
Automatic analysis of firewall and network intrusion detection system configurations.
FMSE
Tomás E. Uribe, Steven Cheung
2003 — conf
Dependable Intrusion Tolerance: Technology Demo.
DISCEX (2)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2003 — conf
Modeling Multistep Cyber Attacks for Scenario Recognition.
DISCEX (1)
Steven Cheung, Ulf Lindqvist, Martin W. Fong
2002 — conf
An Architecture for an Adaptive Intrusion-Tolerant Server.
Security Protocols Workshop
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2002 — conf
MEMS packaging on a budget (fiscal and thermal).
ICECS
Michael B. Cohn, Ryan Roehnelt, Ji-Hai Xu, Alexander Shteinberg, Steven Cheung
2001 — conf
Avoiding Pitfalls of Entity Identifiers.
High-Performance Web Databases
Steven Cheung
2000 A conf
A Formal-Specification Based Approach for Protecting the Domain Name System.
DSN
Steven Cheung, Karl N. Levitt
1998 — conf
Detecting Disruptive Routers: A Distributed Network Monitoring Approach.
S&P
Kirk A. Bradley, Steven Cheung, Nicholas J. Puketza, Biswanath Mukherjee, Ronald A. Olsson
1998 J jnl
Detecting disruptive routers: a distributed network monitoring approach.
IEEE Netw.
Kirk A. Bradley, Steven Cheung, Nicholas J. Puketza, Biswanath Mukherjee, Ronald A. Olsson
1997 C conf
Protecting routing infrastructures from denial of service using cooperative intrusion detection.
NSPW
Steven Cheung, Karl N. Levitt
1996 J jnl
Routing with Locality on Meshes with Buses.
J. Parallel Distributed Comput.
Steven Cheung, Francis C. M. Lau
1994 — conf
Routing with locality in partitioned-bus meshes.
SPDP
Steven Cheung, Francis C. M. Lau
1993 J jnl
A Lower Bound for Permutation Routing on Two-Dimensional Bused Meshes.
Inf. Process. Lett.
Steven Cheung, Francis C. M. Lau
1993 J jnl
Time Lower Bounds for Permutation Routing on Multi-Dimensional Bused Meshes.
Parallel Process. Lett.
Steven Cheung, Francis C. M. Lau
1992 J jnl
Mesh Permutation Routing with Locality.
Inf. Process. Lett.
Steven Cheung, Francis C. M. Lau