Sciweavers

126 search results - page 26 / 26
» Power Analysis of FPGAs: How Practical is the Attack
Sort
View
POPL
2012
ACM
12 years 26 days ago
A type system for borrowing permissions
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kev...