Flavors of Sequential Information Flow

Ezio Bartocci; Thomas Ferrère; Thomas Henzinger; Dejan Nickovic; Ana Oliveira da Costa

doi:10.1007/978-3-030-94583-1

Flavors of Sequential Information Flow

Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic (Speaker), Ana Oliveira da Costa

Security & Communication Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding
Publisher	Springer
Pages	1-19
Number of pages	19
ISBN (Print)	978-3-030-94582-4
DOIs	https://doi.org/10.1007/978-3-030-94583-1
Publication status	Published - 2022
Event	VMCAI'22 - Duration: 16 Jan 2022 → 18 Jan 2022

Conference

Conference	VMCAI'22
Period	16/01/22 → 18/01/22

Research Field

Dependable Systems Engineering

Access to Document

10.1007/978-3-030-94583-1Licence: Unspecified

Cite this

@inproceedings{68f30180b90a48c081f19eb959268ea6,

title = "Flavors of Sequential Information Flow",

author = "Ezio Bartocci and Thomas Ferr{\`e}re and Thomas Henzinger and Dejan Nickovic and {da Costa}, {Ana Oliveira}",

year = "2022",

doi = "10.1007/978-3-030-94583-1",

language = "English",

isbn = "978-3-030-94582-4",

pages = "1--19",

booktitle = "Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding",

publisher = "Springer",

address = "Germany",

note = "VMCAI'22 ; Conference date: 16-01-2022 Through 18-01-2022",

}

Flavors of Sequential Information Flow. / Bartocci, Ezio; Ferrère, Thomas; Henzinger, Thomas et al.
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding. Springer, 2022. p. 1-19.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - Flavors of Sequential Information Flow

AU - Bartocci, Ezio

AU - Ferrère, Thomas

AU - Henzinger, Thomas

AU - da Costa, Ana Oliveira

A2 - Nickovic, Dejan

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-030-94583-1

DO - 10.1007/978-3-030-94583-1

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-94582-4

SP - 1

EP - 19

BT - Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceeding

PB - Springer

T2 - VMCAI'22

Y2 - 16 January 2022 through 18 January 2022

ER -