Combining Symbolic and Numerical Domains for Information Leakage Analysis

DOI10.1007/978-3-662-56499-8_6zbMath1461.68054OpenAlexW2785696951MaRDI QIDQ4989719

Raju Halder, Matteo Zanioli, Agostino Cortesi, Pietro Ferrara

Publication date: 26 May 2021

Published in: Transactions on Computational Science XXXI (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10278/3702275

Mathematics Subject Classification ID

Database theory (68P15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)

Related Items (2)

Secure information flow connections ⋮ Only connect, securely

This page was built for publication: Combining Symbolic and Numerical Domains for Information Leakage Analysis