| Title | Scalable Abstractions for Efficient Security Checks |
| Publication Type | Thesis |
| Year of Publication | 2011 |
| Authors | Tsitovich, Aliaksei |
| Number of Pages | 164 |
| University | University of Lugano |
| City | Lugano |
| Thesis Type | PhD Thesis |
| Full Text |
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
