10912 search results - page 2090 / 2183 » Object-Oriented Programming Languages |
129
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
158
click to vote
COCO
2011
Springer
14 years 2 months ago
2011
Springer
The class ACC consists of circuit families with constant depth over unbounded fan-in AND, OR, NOT, and MODm gates, where m > 1 is an arbitrary constant. We prove: • NTIME[2n ...
137
Voted
CSFW
2011
IEEE
14 years 2 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
126
Voted
AOSD
2012
ACM
13 years 10 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
170
click to vote
CG
2005
Springer
15 years 2 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...