506 search results - page 75 / 102 » Constructor-based observational logic |
181
click to vote
MFCS
1991
Springer
15 years 9 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
153
click to vote
CICLING
2001
Springer
15 years 10 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
286
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
153
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
Behavior synthesis and optimization beyond the register transfer level require an efficient utilization of the underlying platform features. This paper presents a platform-based ...
157
click to vote
RECONFIG
2009
IEEE
16 years 14 days ago
2009
IEEE
Abstract—The main challenge when implementing cryptographic algorithms in hardware is to protect them against attacks that target directly the device. Two strategies are customar...