Inferring secrets by guided experiments
type: Item
instance of: scholarly article
title: Inferring secrets by guided experiments
zbMATH Open document ID: 1444.68048
DOI: 10.1007/978-3-319-67729-3_16
author: Quoc Huy Do
author: Richard Bubel
author: Reiner Hähnle
publication date: 2017-11-03T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68M25
zbMATH DE Number: 6802668
zbMATH Keywords: information flow
zbMATH Keywords: symbolic execution
zbMATH Keywords: static analysis
MaRDI profile type: Publication
full work available at URL: 978-3-319-67729-3 16
OpenAlex ID: W2755626311
description: scientific article; zbMATH DE number 6802668