Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Compositionality

biblio

Automated Verification in Cryptography System

Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm

biblio

Verification of a Multi-Domain Authentication and Authorization Infrastructure Yamata-no-Orochi

Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm

biblio

Planning for Change in a Formal Verification of the Raft Consensus Protocol

Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm

biblio

A Routing Protocol Method That Sets Up Multi-hops in the Ad-hoc Network

Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm

biblio

Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk

Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm

biblio

Automatic Summarization of Privacy Policies Using Ensemble Learning

Submitted by grigby1 on Fri, 09/15/2017 - 10:45am

biblio

Families in the Wild (FIW): Large-Scale Kinship Image Database and Benchmarks

Submitted by grigby1 on Fri, 09/15/2017 - 10:45am

biblio

Differentially Private Online Active Learning with Applications to Anomaly Detection

Submitted by grigby1 on Fri, 09/15/2017 - 10:45am

biblio

Context Matters?: How Adding the Obfuscation Option Affects End Users' Data Disclosure Decisions

Submitted by grigby1 on Fri, 09/15/2017 - 10:45am

biblio

Acing the IOC Game: Toward Automatic Discovery and Analysis of Open-Source Cyber Threat Intelligence

Submitted by grigby1 on Fri, 09/15/2017 - 10:44am

Terms of Use | ©2023. CPS-VO