Formal Analysis of Protocol Indistinguishability
Abstract
Consists of the investigation of state space reduction techniques that can make possible to formally verify in distinguishability properties of relevant protocols, used in actual practice, modulo a wide variety of algebraic properties, including properties involving AC axioms, such as the theories of abelian groups and of homomorphic encryptions.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 16, 2016
- Source ID
- N00173152C001XX0
Entities
People
- José Meseguer
Organizations
- United States Naval Research Laboratory
- United States Navy
- University of Illinois Urbana–Champaign