CS 290C - Formal Models for Web Software - Spring 2013
Projects
-
Tone Wemundsen,
Anlaug Underdal:
Navigation Analysis of the web application Finn.no using the tools
Modex and Spin.
- Martin Havig:
Data model analysis of the web application GitHub (www.github.com)
using the Alloy Analyzer and the Data Model extraction tool of Nijjar et al.
-
Ole-Magnus R. Aker,
Thomas Tveten:
Navigation analysis of Amazon.com using the Spin model checker.
-
Nikolai Hyldmo,
Vilde Feet:
Navigation analysis of Amazon.com using the Spin model checker.
-
Abdulbaki Aydin:
Input validation analysis of web applications using the tools
Bek and Kaluza.
-
Kevin Borgolte,
Antonio Bianchi:
Analyzing access control policies of MediaWiki (and possibly Wikipedia)
using the Alloy Analyzer.
-
Guri Karoline Soerboe,
Hanne Riise Maehlum:
Navigation analysis of Domino’s pizza website (http://www.dominos.com)
using the Spin model checker.
-
Madhukar Kedlaya,
Kyle Dewey:
Investigating abstract domains for identifying string vulnerabilities
in Mozilla Firefox addons using the notJS Abstract Interpreter and the Hampi
string contraint solver.
-
Alexander Pucher:
Evaluating automated API matching heuristics for web services by building
a client-driven API search service.
-
Esben Aarseth,
Merete Aardalsbakke:
Navigation and behavior analysis of the Extensions
(http://extension.ucsb.edu) website using the model checker SPIN.
-
Patrick Baxter,
Kyle MacNamara:
Using
BEK to verify sanitization procedures in web applications.