Steven Cheung

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 4

Top Topics

Functional Programming

Abstraction Layer

Inductive Concept Learning

Top Venues

Publications

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