1816 search results - page 36 / 364 » Trace oblivious computation |
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
EGH
2011
Springer
12 years 9 months ago
2011
Springer
BIRTHDAY
2008
Springer
13 years 12 months ago
2008
Springer
We show that the category FinVectk of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely...
PODC
1996
ACM
14 years 2 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
ASIACRYPT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We develop a new multi-party generalization of Naor-Nissim indirect indexing, making it possible for many participants to simulate a RAM machine with only poly-logarithmi...