Hakutulokset - parallel functionality securing function testing https

Tarkoititko:
parallel functionality » parallel functional , oracle functionality , carbonyl functionality
functionality securing » functionality setting , functionality using , functionality testing
securing function » scoring function , security function , security functions
function testing » function tests , function test , mutation testing
testing https » teaching https , being https , writing https

Physical Unclonable Functions in Theory and Practice

Tekijä Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
Julkaistu 2013

Sisällysluettelo: “...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Hae kokoteksti

Elektroninen E-kirja

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Julkaistu 2010

Sisällysluettelo: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Hae kokoteksti

Elektroninen E-kirja

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Hae kokoteksti

Elektroninen E-kirja

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Julkaistu 2008

Sisällysluettelo: “... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”
Hae kokoteksti

Elektroninen E-kirja

Biometrics, Computer Security Systems and Artificial Intelligence Applications

Julkaistu 2006

Sisällysluettelo: “... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...”
Hae kokoteksti

Elektroninen E-kirja

Topics in Cryptology - CT-RSA 2010 The 10th Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Function -- Symmetric Cryptography -- The Sum of CBC MACs Is a Secure PRF -- On Fast Verification of Hash...”
Hae kokoteksti

Elektroninen E-kirja

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
Hae kokoteksti

Elektroninen E-kirja

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Hae kokoteksti

Elektroninen E-kirja

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Julkaistu 2015

Sisällysluettelo: “...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Hae kokoteksti

Elektroninen E-kirja

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Hae kokoteksti

Elektroninen E-kirja

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Julkaistu 2010

Sisällysluettelo: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Hae kokoteksti

Elektroninen E-kirja

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...”
Hae kokoteksti

Elektroninen E-kirja

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Julkaistu 2014

Sisällysluettelo: “... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Julkaistu 2014

Sisällysluettelo: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Julkaistu 2008

Sisällysluettelo: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua