Volume 51, issue 2, November 2017

Special issue: In Memoriam Helmut Veith

Issue editors

Georg Gottlob
Thomas A. Henzinger
Georg Weissenbacher

7 articles in this issue

Preface of the Special Issue in Memoriam Helmut Veith

Authors
- Georg Gottlob
- Thomas A. Henzinger
- Georg Weissenbacher
- Content type: EditorialNotes
- Published: 14 November 2017
- Pages: 267 - 269
Para\(^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Authors (first, second and last of 4)
- Igor Konnov
- Marijana Lazić
- Josef Widder
- Content type: OriginalPaper
- Open Access
- Published: 20 September 2017
- Pages: 270 - 307
On compiling Boolean circuits optimized for secure multi-party computation

Authors (first, second and last of 5)
- Niklas Büscher
- Martin Franz
- Stefan Katzenbeisser
- Content type: OriginalPaper
- Published: 14 September 2017
- Pages: 308 - 331
Shield synthesis

Authors (first, second and last of 7)
- Bettina Könighofer
- Mohammed Alshiekh
- Chao Wang
- Content type: OriginalPaper
- Open Access
- Published: 25 September 2017
- Pages: 332 - 361
Program synthesis for interactive-security systems

Authors (first, second and last of 4)
- William R. Harris
- Somesh Jha
- Sanjit A. Seshia
- Content type: OriginalPaper
- Published: 16 September 2017
- Pages: 362 - 394
A methodology to take credit for high-level verification during RTL verification

Authors
- Frederic Doucet
- Robert Kurshan
- Content type: OriginalPaper
- Published: 19 September 2017
- Pages: 395 - 418
Keeping logic in the trivium of computer science: a teaching perspective

Authors
- J. A. Makowsky
- A. Zamansky
- Content type: OriginalPaper
- Published: 28 October 2017
- Pages: 419 - 430

Volume 51, issue 2, November 2017

Special issue: In Memoriam Helmut Veith

Preface of the Special Issue in Memoriam Helmut Veith

Para\(^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

On compiling Boolean circuits optimized for secure multi-party computation

Shield synthesis

Program synthesis for interactive-security systems

A methodology to take credit for high-level verification during RTL verification

Keeping logic in the trivium of computer science: a teaching perspective

For authors

Working on a manuscript?

Explore

Volume 51, issue 2, November 2017

Special issue: In Memoriam Helmut Veith

Preface of the Special Issue in Memoriam Helmut Veith

Authors

Para\(^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Authors (first, second and last of 4)

On compiling Boolean circuits optimized for secure multi-party computation

Authors (first, second and last of 5)

Shield synthesis

Authors (first, second and last of 7)

Program synthesis for interactive-security systems

Authors (first, second and last of 4)

A methodology to take credit for high-level verification during RTL verification

Authors

Keeping logic in the trivium of computer science: a teaching perspective

Authors

For authors

Working on a manuscript?

Explore