Search Constraints
Search Results
Select an image to start the slideshow
A Coq Formalization of Unification Modulo Exclusive-Or
1 of 45
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
2 of 45
Privacy in Online Social Networks
3 of 45
X2S
4 of 45
Timing diagram to Buchi automation translation
5 of 45
Theory Assistant 2
6 of 45
Theory assistant
7 of 45
Normalization for metadata
8 of 45
Model checking for role-based access control
9 of 45
Live score synchronization II
10 of 45
A Tactic For Setoid Congruence
11 of 45
Formal Verification of Boolean Unification Algorithms with Coq
12 of 45
A Formalization of Strand Spaces in Coq
13 of 45
Build and Release Optimization of the Structured Credit Desktop
14 of 45
BNP Paribas: Equity Smart Order Router
15 of 45
BNP Paribas: Enterprise Architecture
16 of 45
BNP Paribas: Systems Analysis and Concept Development
17 of 45
Global Credit Products Technology SPV Reporting Tool
18 of 45
Changing Business Practices in a New Regulatory Environment
19 of 45
Core Finding for Relational Structures
20 of 45
Data Generation, Distribution & Management
21 of 45
Enterprise Architecture
22 of 45
Environment Cockpit
23 of 45
Environment Cockpit
24 of 45
Generating Universal Models for Geometric Theories
25 of 45
Interactive Model Finding with Hominy
26 of 45
Modeling and Analyzing Security Requirements for Java
27 of 45
A Natural Language Interface Using First Order Logic
28 of 45
Protocol Analysis via The Chase
29 of 45
Risk Reporting Techniques
30 of 45
Scenarios for Description Logic
31 of 45
Towards a Transition System Semantics for Alloy
32 of 45
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
33 of 45
Translating Alloy to SMT-LIB
34 of 45
Trusted Execution Environments with Architectural Support: Foundations and Implementation
35 of 45
Wall Street Project
36 of 45
Analysis of social networks using Facebook
37 of 45
First-Order Models for Configuration Analysis
38 of 45
Formalization and Verification of Rewriting-Based Security Polices
39 of 45
Noninterference in Concurrent Game Structures
40 of 45
User Evaluation Framework for Model Finding Research
41 of 45
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
42 of 45
A Framework for Exploring Finite Models
43 of 45
Multi-Decision Policy and Policy Combinator Specifications
44 of 45
Graph Decompositions and Monadic Second Order Logic
45 of 45
