1
Table of Contents: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Function -- Symmetric Cryptography -- The Sum of CBC MACs Is a Secure PRF -- On Fast Verification of Hash...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
View full text
Electronic eBook