HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Andrei Nemytykh

Publications
VPT 2014. Second International Workshop on Verification and Program Transformation
Alexei Lisitsa and Andrei Nemytykh (editors)
EPiC Series in Computing, volume 28
VPT 2013. First International Workshop on Verification and Program Transformation
Alexei Lisitsa and Andrei Nemytykh (editors)
EPiC Series in Computing, volume 16
On Unfolding for Programs Using Strings as a Data Type
Andrei Nemytykh
In:VPT 2014. Second International Workshop on Verification and Program Transformation
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
Alexei Lisitsa and Andrei Nemytykh
In:VPT 2014. Second International Workshop on Verification and Program Transformation
Cryptographic Protocol Verification via Supercompilation (A Case Study)
Abdulbasit Ahmed, Alexei Lisitsa and Andrei Nemytykh
In:VPT 2013. First International Workshop on Verification and Program Transformation

Keyphrases

cryptographic protocols, Markov's normal algorithms, program analysis3, program specialization3, program transformation3, program verification, supercompilation3, unfolding, verification, word equations.

Copyright © 2012-2025 easychair.org. All rights reserved.