On the Formal Specification and Verification of a Multiparty Session Protocol. - Pau-Chen Cheng; Virgil D. Gligor (S&P, 1990)

Securing the Internet (Abstract). - Pau-Chen Cheng; Juan A. Garay; Amir Herzberg; Hugo Krawczyk (PODC, 1995)

Design and Implementation of Modular Key Management Protocol and IP Secure Tunnel on AIX. - Pau-Chen Cheng; Juan A. Garay; Amir Herzberg; Hugo Krawczyk (USENIX Security Symposium, 1995)

A Security Architecture for the Internet Protocol. - Pau-Chen Cheng; Juan A. Garay; Amir Herzberg; Hugo Krawczyk (IBM Syst. J., 1998)

An IPSec-based Host Architecture for Secure Internet Multicast. - Ran Canetti; Pau-Chen Cheng; Frederique Giraud; Dimitrios E. Pendarakis; Josyula R. Rao; Pankaj Rohatgi; Debanjan Saha (NDSS, 2000)

An architecture for the Internet Key Exchange Protocol. - Pau-Chen Cheng (IBM Syst. J., 2001)

BlueBoX: A policy-driven, host-based intrusion detection system. - Suresh Chari; Pau-Chen Cheng (ACM Trans. Inf. Syst. Secur., 2003)

Protecting content distribution networks from denial of service attacks. - Kang-Won Lee; Suresh Chari; Anees Shaikh; Sambit Sahu; Pau-Chen Cheng (ICC, 2005)

Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control. - Pau-Chen Cheng; Pankaj Rohatgi; Claudia Keser; Paul A. Karger; Grant M. Wagner; Angela Schuett Reninger (S&P, 2007)

Improving the resilience of content distribution networks to large scale distributed denial of service attacks. - Kang-Won Lee; Suresh Chari; Anees Shaikh; Sambit Sahu; Pau-Chen Cheng (Comput. Networks, 2007)

Policy evolution with Genetic Programming: A comparison of three approaches. - Yow Tzu Lim; Pau-Chen Cheng; John Andrew Clark; Pankaj Rohatgi (IEEE Congress on Evolutionary Computation, 2008)

MLS security policy evolution with genetic programming. - Yow Tzu Lim; Pau-Chen Cheng; Pankaj Rohatgi; John Andrew Clark (GECCO, 2008)

Trading in risk: using markets to improve access control. - Ian M. Molloy; Pau-Chen Cheng; Pankaj Rohatgi (NSPW, 2008)

Policy Evolution with Grammatical Evolution. - Yow Tzu Lim; Pau-Chen Cheng; John Andrew Clark; Pankaj Rohatgi (SEAL, 2008)

Risk profiles and distributed risk assessment. - Howard Chivers; John A. Clark; Pau-Chen Cheng (Comput. Secur., 2009)

Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. - John A. Clark; Juan E. Tapiador; John A. McDermid; Pau-Chen Cheng; Dakshi Agrawal; Natalie Ivanic; Dave Slogget (ICETE (Selected Papers), 2010)

User Centric Policy Management in Online Social Networks. - Mohamed Shehab; Gorrell P. Cheek; Hakim Touati; Anna Cinzia Squicciarini; Pau-Chen Cheng (POLICY, 2010)

Risk based Access Control with Uncertain and Time-dependent Sensitivity. - John A. Clark; Juan E. Tapiador; John A. McDermid; Pau-Chen Cheng; Dakshi Agrawal; Natalie Ivanic; Dave Slogget (SECRYPT, 2010)

Learning based access control in online social networks. - Mohamed Shehab; Gorrell P. Cheek; Hakim Touati; Anna Cinzia Squicciarini; Pau-Chen Cheng (WWW, 2010)

An experimental study on the measurement of data sensitivity. - Youngja Park; Stephen C. Gates; Wilfried Teiken; Pau-Chen Cheng (BADGERS@EuroSys, 2011)

Risk-based security decisions under uncertainty. - Ian M. Molloy; Luke Dickens; Charles Morisset; Pau-Chen Cheng; Jorge Lobo 001; Alessandra Russo (CODASPY, 2012)

Learning Stochastic Models of Information Flow. - Luke Dickens; Ian M. Molloy; Jorge Lobo 001; Pau-Chen Cheng; Alessandra Russo (ICDE, 2012)

Passive security intelligence to analyze the security risks of mobile/BYOD activities. - Marc Ph. Stoecklin; Kapil Singh; Larry Koved; Xin Hu 001; Suresh N. Chari; Josyula R. Rao; Pau-Chen Cheng; Mihai Christodorescu; Reiner Sailer; Douglas Lee Schales (IBM J. Res. Dev., 2016)

Counting Devices: Revisiting Existing Approaches in Today's Settings. - Franck Le; Enriquillo Valdez; Pau-Chen Cheng (IEEE BigData, 2019)

Separation of Powers in Federated Learning (Poster Paper). - Pau-Chen Cheng; Kevin Eykholt; Zhongshu Gu; Hani Jamjoom; K. R. Jayaram; Enriquillo Valdez; Ashish Verma 001 (ResilientFL, 2021)

Separation of Powers in Federated Learning. - Pau-Chen Cheng; Kevin Eykholt; Zhongshu Gu; Hani Jamjoom; K. R. Jayaram; Enriquillo Valdez; Ashish Verma 001 (CoRR, 2021)

Crossing Shifted Moats: Replacing Old Bridges with New Tunnels to Confidential Containers. - Enriquillo Valdez; Salman Ahmed 001; Zhongshu Gu; Christophe de Dinechin; Pau-Chen Cheng; Hani Jamjoom (CCS, 2024)

DeTA: Minimizing Data Leaks in Federated Learning via Decentralized and Trustworthy Aggregation. - Pau-Chen Cheng; Kevin Eykholt; Zhongshu Gu; Hani Jamjoom; K. R. Jayaram; Enriquillo Valdez; Ashish Verma 001 (EuroSys, 2024)

Intel TDX Demystified: A Top-Down Approach. - Pau-Chen Cheng; Wojciech Ozga; Enriquillo Valdez; Salman Ahmed 001; Zhongshu Gu; Hani Jamjoom; Hubertus Franke; James Bottomley (ACM Comput. Surv., 2024)