2257 search results - page 173 / 452 » Secure program partitioning |
127
Voted
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
104
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspeciļ¬cation hinders automatic optimizers, since they must ...
135
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
106
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
102
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...