HAKarlsson
Ph.D. student in Formal Methods and Computer Security at KTH Royal Institute of Technology
KTH Royal Institute of TechnologyStockholm, Sweden
Ph.D. student in Formal Methods and Computer Security at KTH Royal Institute of Technology
KTH Royal Institute of TechnologyStockholm, Sweden