Steven Cheung

According to our database, Steven Cheung authored at least 30 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

A Format-Aware Reducer for Scriptable Rewriting of PDF Files.

Prashant Anantharaman, Steven Cheung, Nicholas Boorman, Michael E. Locasto

Proceedings of the 43rd IEEE Security and Privacy, 2022

2021

Transparent Synchronous Dataflow.

Steven W. T. Cheung, Dan R. Ghica, Koko Muroya

Art Sci. Eng. Program., 2021

Scalable Microservice Forensics and Stability Assessment Using Variational Autoencoders.

Prakhar Sharma, Phillip A. Porras, Steven Cheung, James Carpenter, Vinod Yegneswaran

CoRR, 2021

2018

The Geometry of Computation-Graph Abstraction.

Koko Muroya, Steven W. T. Cheung, Dan R. Ghica

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A Functional Perspective on Machine Learning via Programmable Induction and Abduction.

Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Abductive functional programming, a semantic approach.

Koko Muroya, Steven Cheung, Dan R. Ghica

CoRR, 2017

2015

Securing the Software Defined Network Control Layer.

Phillip A. Porras, Steven Cheung, Martin W. Fong, Keith Skinner, Vinod Yegneswaran

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

2012

StegoTorus: a camouflage proxy for the Tor anonymity system.

Zachary Weinberg, Jeffrey Wang, Vinod Yegneswaran, Linda Briesemeister, Steven Cheung, Frank Wang, Dan Boneh

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Securing Collaborative Intrusion Detection Systems.

Steven Cheung

IEEE Secur. Priv., 2011

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.

Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Detection, correlation, and visualization of attacks against critical infrastructure systems.

Linda Briesemeister, Steven Cheung, Ulf Lindqvist, Alfonso Valdes

Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010

2009

Malware Characterization through Alert Pattern Discovery.

Steven Cheung, Alfonso Valdes

Proceedings of the 2nd USENIX Workshop on Large-Scale Exploits and Emergent Threats, 2009

Intrusion Monitoring in Process Control Systems.

Alfonso Valdes, Steven Cheung

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2007

Automatic analysis of firewall and network intrusion detection system configurations.

Tomás E. Uribe, Steven Cheung

J. Comput. Secur., 2007

Securing Current and Future Process Control Systems.

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

Proceedings of the Critical Infrastructure Protection, 2007

2006

Denial of Service against the Domain Name System.

Steven Cheung

IEEE Secur. Priv., 2006

Detecting Disruptive Routers in Wireless Sensor Networks.

Steven Cheung, Bruno Dutertre, Ulf Lindqvist

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, 2006

2003

Dependable Intrusion Tolerance: Technology Demo.

Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Modeling Multistep Cyber Attacks for Scenario Recognition.

Steven Cheung, Ulf Lindqvist, Martin W. Fong

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

An Architecture for an Adaptive Intrusion-Tolerant Server.

Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe

Proceedings of the Security Protocols, 2002

MEMS packaging on a budget (fiscal and thermal).

Michael B. Cohn, Ryan Roehnelt, Ji-Hai Xu, Alexander Shteinberg, Steven Cheung

Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002

2001

Avoiding Pitfalls of Entity Identifiers.

Steven Cheung

Proceedings of the High-Performance Web Databases, Design, Development, and Deployment, 2001

2000

A Formal-Specification Based Approach for Protecting the Domain Name System.

Steven Cheung, Karl N. Levitt

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1998

Detecting disruptive routers: a distributed network monitoring approach.

Kirk A. Bradley, Steven Cheung, Nicholas J. Puketza, Biswanath Mukherjee, Ronald A. Olsson

IEEE Netw., 1998

1997

Protecting routing infrastructures from denial of service using cooperative intrusion detection.

Steven Cheung, Karl N. Levitt

Proceedings of the 1997 Workshop on New Security Paradigms, 1997

1996

Routing with Locality on Meshes with Buses.

Steven Cheung, Francis C. M. Lau

J. Parallel Distributed Comput., 1996

1994

Routing with locality in partitioned-bus meshes.

Steven Cheung, Francis C. M. Lau

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

1993

Time Lower Bounds for Permutation Routing on Multi-Dimensional Bused Meshes.

Steven Cheung, Francis C. M. Lau

Parallel Process. Lett., 1993

A Lower Bound for Permutation Routing on Two-Dimensional Bused Meshes.

Steven Cheung, Francis C. M. Lau

Inf. Process. Lett., 1993

1992

Mesh Permutation Routing with Locality.

Steven Cheung, Francis C. M. Lau

Inf. Process. Lett., 1992