<--- Back to Details
First PageDocument Content
Mass surveillance / National Security Agency / United States government secrecy / Carnegie Mellon University / Computer security / SRI International / Trustworthy computing / Institute for Information Infrastructure Protection / Security / National security / Surveillance
Date: 2006-03-31 18:51:02
Mass surveillance
National Security Agency
United States government secrecy
Carnegie Mellon University
Computer security
SRI International
Trustworthy computing
Institute for Information Infrastructure Protection
Security
National security
Surveillance

Add to Reading List

Source URL: tygar.net

Download Document from Source Website

File Size: 851,24 KB

Share Document on Facebook

Similar Documents

Computational complexity theory / Theoretical computer science / Logic in computer science / Boolean algebra / Circuit complexity / Complexity classes / Electronic design automation / True quantified Boolean formula / Satisfiability modulo theories / NC / FO / Boolean circuit

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

DocID: 1xVBA - View Document

Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

DocID: 1xVqL - View Document

C / Data types / Software engineering / Computing / Computer programming / Pointer / Compatibility of C and C++ / Const / Typedef

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

DocID: 1xVcw - View Document

Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln

DocID: 1xVb5 - View Document

Mathematical analysis / Mathematics / Abstract interpretation / Function / Exponential function / Complex analysis / Formal methods / Centripetal CatmullRom spline

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

DocID: 1xV1k - View Document