Search Results - program aggregation https functionality securing https

Search alternatives:
functionality securing » functionality setting , functionality using , functionality testing
program aggregation » problems aggregation , protein aggregation , pro aggregation
https functionality » its functionality , bags functionality , cross functionality
aggregation https » aggregation acts , aggregation sites , aggregation cross
securing https » security https , security http , securing rtp

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Published 2008

Table of Contents: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
View full text

Electronic eBook

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”
View full text

Electronic eBook

Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... of Security/Primitives -- Relationships Between Diffie-Hellman and “Index Oracles” -- On the Security Notions...”
View full text

Electronic eBook

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Oblivious Scalar-Product Protocols -- On Optimizing the k-Ward Micro-aggregation Technique for Secure...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... on Write-Once Memories -- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Published 2008

Table of Contents: “... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /

Published 2015

Table of Contents: “... Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule...”
View full text

Electronic eBook

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 /

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

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Published 2008

Table of Contents: “... Filtering -- An AI-Based Causal Strategy for Securing Statistical Databases Using Micro-aggregation...”
View full text

Electronic eBook

Advances in Cryptology -- ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012, Proceedings /

Published 2012

Table of Contents: “... -- Adaptively Secure Garbling with Applications to One-Time Programs and Secure Outsourcing -- The Generalized...”
View full text

Electronic eBook

Advances in Cryptology – EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceed...

Published 2015

Table of Contents: “...Universal Signature Aggregators -- Fully Structure-Preserving Signatures and Shrinking Commitments...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
View full text

Electronic eBook

Topics in Cryptology – CT-RSA 2008 The Cryptographers' Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008, Proceedings /

Published 2008

Table of Contents: “...Hash Function Cryptanalysis -- Security of MD5 Challenge and Response: Extension of APOP Password...”
View full text

Electronic eBook

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Protocols with a Leader -- On Self-stabilizing Search Trees -- Efficient Dynamic Aggregation -- Groupings...”
View full text

Electronic eBook

Pro SQL Server 2005 Assemblies

by Dewson, Robin., Dewson, Robin., Skinner, Julian.
Published 2006

Table of Contents: “... -- CLR Stored Procedures -- User-Defined Functions -- User-Defined Types -- User-Defined Aggregates...”
View full text

Electronic eBook

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings /

Published 2010

Table of Contents: “... Sensor Networks -- Approaching the Optimal Schedule for Data Aggregation in Wireless Sensor Networks...”
View full text

Electronic eBook

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...”
View full text

Electronic eBook

Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “...-Aggregates of Primary Spherical Particules by Radial Distribution Functions....”
View full text

Electronic eBook

Narrow Search