Amanda Stjerna
Assistent med doktoranduppgifter vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 54 06
- E-post:
- amanda.stjerna@it.uu.se
- Besöksadress:
- Hus 10, Regementsvägen 10
- Postadress:
- Box 524
751 20 UPPSALA
Ladda ned kontaktuppgifter för Amanda Stjerna vid Institutionen för informationsteknologi; Datalogi
- ORCID:
- 0000-0003-4180-6118
Nyckelord
- theorem proving
- smt
- web security
Publikationer
Senaste publikationer
-
A Constraint Solving Approach to Parikh Images of Regular Languages
Ingår i Proceedings of the ACM on Programming Languages, 2024
- DOI för A Constraint Solving Approach to Parikh Images of Regular Languages
- Ladda ner fulltext (pdf) av A Constraint Solving Approach to Parikh Images of Regular Languages
-
Black Ostrich: Web Application Scanning with String Solvers
Ingår i CCS '23, s. 549-563, 2023
- DOI för Black Ostrich: Web Application Scanning with String Solvers
- Ladda ner fulltext (pdf) av Black Ostrich: Web Application Scanning with String Solvers
Alla publikationer
Artiklar i tidskrift
-
A Constraint Solving Approach to Parikh Images of Regular Languages
Ingår i Proceedings of the ACM on Programming Languages, 2024
- DOI för A Constraint Solving Approach to Parikh Images of Regular Languages
- Ladda ner fulltext (pdf) av A Constraint Solving Approach to Parikh Images of Regular Languages