Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications.

Behnaz Hassanshahi Hyunjun Lee Paddy Krishnan

Published in: SANER (2022)

Keyphrases

web applications
security analysis
public key
smart card
security requirements
application development
web browser
web services
end users
encryption scheme
security properties
web application development
authentication protocol
mashup
case study
information security
security policies
open source
databases