Fully automated analysis of padding-based encryption in the computational model
Keyword(s):
1998 ◽
Vol 31
(2)
◽
pp. 365A
Keyword(s):
2010 ◽
Vol 2
(6)
◽
pp. 535-547
◽
2019 ◽
Vol 17
(5)
◽
pp. 483-505
2016 ◽
Vol 1
(2)
◽
pp. 93-101
◽
Keyword(s):