Acyclicity Programming for Sigma-Protocols

2021 ◽  
pp. 435-465
Author(s):  
Masayuki Abe ◽  
Miguel Ambrona ◽  
Andrej Bogdanov ◽  
Miyako Ohkubo ◽  
Alon Rosen
Keyword(s):  
Sigma Protocols

scholarly journals Online/Offline OR Composition of Sigma Protocols

2016 ◽  
pp. 63-92 ◽  
Author(s):  
Michele Ciampi ◽  
Giuseppe Persiano ◽  
Alessandra Scafuro ◽  
Luisa Siniscalchi ◽  
Ivan Visconti
Keyword(s):  
Sigma Protocols

scholarly journals Improved OR-Composition of Sigma-Protocols

2015 ◽  
pp. 112-141 ◽  
Author(s):  
Michele Ciampi ◽  
Giuseppe Persiano ◽  
Alessandra Scafuro ◽  
Luisa Siniscalchi ◽  
Ivan Visconti
Keyword(s):  
Sigma Protocols

scholarly journals Automatic Generation of Sigma-Protocols

2010 ◽  
pp. 67-82 ◽  
Author(s):  
Endre Bangerter ◽  
Thomas Briner ◽  
Wilko Henecka ◽  
Stephan Krenn ◽  
Ahmad-Reza Sadeghi ◽  
...  
Keyword(s):  
Automatic Generation ◽  
Sigma Protocols

scholarly journals A Machine-Checked Formalization of Sigma-Protocols

2010 ◽  
Author(s):  
Gilles Barthe ◽  
Daniel Hedin ◽  
Santiago Zanella Béguelin ◽  
Benjamin Grégoire ◽  
Sylvain Heraud
Keyword(s):  
Sigma Protocols
Sign in / Sign up

Export Citation Format

Share Document