בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming security » programming secrets, programming secure, programming recursion
security complexity » security complex, security completing, regularity complexity
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming security » programming secrets, programming secure, programming recursion
security complexity » security complex, security completing, regularity complexity
1
יצא לאור 2007
תוכן הענינים:
“...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים:
“... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... Computing -- Traitor Tracing with Optimal Transmission Rate -- Symmetric-Key Cryptography -- The Security...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים:
“... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים:
“... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“... -- Hashing and Message Authentication -- Constructing Secure Hash Functions by Enhancing Merkle-Damgård...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“... and Pervasive Computing -- Security Enhancement and Modular Treatment towards Authenticated Key Exchange...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2012
תוכן הענינים:
“...-Preserving Noisy Keyword Search in Cloud Computing -- Forward Secure Attribute-Based Signatures...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2006
תוכן הענינים:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2015
תוכן הענינים:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני