Symbolic Timed Observational Equivalence

01/12/2018
by   Vivek Nigam, et al.
0

Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels. These properties may help intruders distinguish whether a system is a honeypot or concrete system helping him avoid defense mechanisms, or track a user among others violating his privacy. Observational equivalence is the technical machinery used for verifying whether two systems are distinguishable. Moreover, efficient symbolic methods have been developed for automating the check of observational equivalence of systems. This paper introduces a novel definition of timed observational equivalence which also distinguishes systems according to their time side channels. Moreover, as our definition uses symbolic time constraints, it can be automated by using SMT-solvers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/26/2023

Verifying Data Constraint Equivalence in FinTech Systems

Data constraints are widely used in FinTech systems for monitoring data ...
research
07/17/2019

Defining Functions on Equivalence Classes

A quotient construction defines an abstract type from a concrete type, u...
research
04/10/2018

POR for Security Protocol Equivalences: Beyond Action-Determinism

Formal methods have proved effective to automatically analyze protocols....
research
05/18/2022

Leapfrog: Certified Equivalence for Protocol Parsers

We present Leapfrog, a Coq-based framework for verifying equivalence of ...
research
07/31/2019

Reward Testing Equivalences for Processes

May and must testing were introduced by De Nicola and Hennessy to define...
research
10/26/2020

Protocol Analysis with Time

We present a framework suited to the analysis of cryptographic protocols...
research
03/22/2022

On Neural Network Equivalence Checking using SMT Solvers

Two pretrained neural networks are deemed equivalent if they yield simil...

Please sign up or login with your details

Forgot password? Click here to reset