Searching for authors named "Stephen Chong" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Static Analysis of Accessed Regions inRecursive Data Structures
- … Static Analysis of Accessed Regions inRecursive Data Structures Stephen Chong and Radu Rugina…
- Add To MetaCart
-
Introduction Review of Type-Logical Semantics ∗
- …Introduction Review of Type-Logical Semantics ∗ Riccardo Pucella Stephen Chong Department…
- Add To MetaCart
-
Static analysis of accessed regions in recursive data structures
- …Static Analysis of Accessed Regions in Recursive Data Structures Stephen Chong and Radu Rugina…
- Cited by 13 (1 self) – Add To MetaCart
-
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
- …A Framework for Creating Natural Language User Interfaces for Action-Based Applications Stephen…
- Add To MetaCart
-
SIF: Enforcing confidentiality and integrity in Web applications
- …: Enforcing Confidentiality and Integrity in Web Applications Stephen Chong K. Vikram Andrew C. Myers…
- Cited by 9 (1 self) – Add To MetaCart
-
Owned Policies for Information Security
- … Owned Policies for Information Security Hubie Chen Stephen Chong Department of Computer Science…
- Cited by 8 (2 self) – Add To MetaCart
-
End-to-End Enforcement of Erasure and Declassification
- …End-to-End Enforcement of Erasure and Declassification Stephen Chong Andrew C. Myers Department…
- Add To MetaCart
-
Language-based information erasure
- … Language-Based Information Erasure Stephen Chong Andrew C. MyersDepartment of Computer Science…
- Cited by 20 (9 self) – Add To MetaCart
-
Scalable Extensibility via Nested Inheritance
- …ABSTRACT Scalable Extensibility via Nested Inheritance Nathaniel Nystrom Stephen Chong Andrew C…
- Cited by 32 (1 self) – Add To MetaCart
-
Civitas: A Secure Remote Voting System
- …Civitas: A Secure Remote Voting System Michael R. Clarkson Stephen Chong Andrew C. Myers…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
