Amanda Stjerna
PhD student at Department of Information Technology; Division of Computing Science
- Telephone:
- +46 18 471 54 06
- E-mail:
- amanda.stjerna@it.uu.se
- Visiting address:
- Hus 10, Regementsvägen 10
- Postal address:
- Box 337
751 05 UPPSALA
- ORCID:
- 0000-0003-4180-6118
Keywords
- theorem proving
- smt
- web security
Publications
Recent publications
-
A Constraint Solving Approach to Parikh Images of Regular Languages
Part of Proceedings of the ACM on Programming Languages, 2024
- DOI for A Constraint Solving Approach to Parikh Images of Regular Languages
- Download full text (pdf) of A Constraint Solving Approach to Parikh Images of Regular Languages
-
Black Ostrich: Web Application Scanning with String Solvers
Part of CCS '23, p. 549-563, 2023
- DOI for Black Ostrich: Web Application Scanning with String Solvers
- Download full text (pdf) of Black Ostrich: Web Application Scanning with String Solvers
All publications
Articles in journal
-
A Constraint Solving Approach to Parikh Images of Regular Languages
Part of Proceedings of the ACM on Programming Languages, 2024
- DOI for A Constraint Solving Approach to Parikh Images of Regular Languages
- Download full text (pdf) of A Constraint Solving Approach to Parikh Images of Regular Languages