Original language | English |
---|---|
Qualification | Ph.D. |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 15 Feb 2015 |
Publication status | Published - 15 Feb 2015 |
On the improvement of security proofs
Research output: Thesis › Doctoral Thesis
Research output: Thesis › Doctoral Thesis
Original language | English |
---|---|
Qualification | Ph.D. |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 15 Feb 2015 |
Publication status | Published - 15 Feb 2015 |