2137 search results - page 186 / 428 » Proving Abstract Non-interference |
180
click to vote
CAAN
2007
Springer
16 years 19 days 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...
155
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...
153
click to vote
CHES
2007
Springer
16 years 19 days 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...
133
click to vote
CICLING
2007
Springer
16 years 19 days 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...
129
click to vote
COLT
2007
Springer
16 years 19 days 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...