2137 search results - page 186 / 428 » Proving Abstract Non-interference |
132
Voted
CAAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Random graphs with given expected degrees G(w) were introduced by Chung and Lu so as to extend the theory of classical G(n, p) random graphs to include random power law g...
113
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...
115
click to vote
CHES
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the recent years, DPA attacks have been widely investigated. In particular, 2-nd order DPA have been improved and successfully applied to break many masked implementat...
100
Voted
CICLING
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...
102
Voted
COLT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose simple randomized strategies for sequential prediction under imperfect monitoring, that is, when the forecaster does not have access to the past outcomes but r...