297 search results - page 11 / 60 » Secure Code Generation for Web Applications |
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
The Web browser has become the dominant interface to a broad range of applications, including online banking, Web-based email, digital media delivery, gaming, and ecommerce servic...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
61
Voted
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
We present a technique for finding security vulnerabilities in Web applications. SQL Injection (SQLI) and crosssite scripting (XSS) attacks are widespread forms of attack in whic...
SDMW
2005
Springer
15 years 3 months ago
2005
Springer
The Extensible Markup Language (XML) is considered as the de facto standard for information processing and exchange on the Internet and in the enterprise services domain. It is wid...
CSFW
2009
IEEE
15 years 1 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...