Search Results - program security https functioning general https

1

Smart Materials for Energy, Communications and Security

Published 2008

Table of Contents: “... in Thin Films and Superlattices -- Other Functional Materials -- Clays and Clay Minerals in Western High...”
View full text

Electronic eBook

2

Information Security 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007, Proceedings /

Published 2007

Table of Contents: “... Computing -- Traitor Tracing with Optimal Transmission Rate -- Symmetric-Key Cryptography -- The Security...”
View full text

Electronic eBook

3

Efficient Secure Two-Party Protocols Techniques and Constructions /

by Hazay, Carmit., Hazay, Carmit., Lindell, Yehuda.
Published 2010

Table of Contents: “...and Definitions -- Definitions -- General Constructions -- Semi-honest Adversaries -- Malicious...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “... -- Constructing Secure Proxy Cryptosystem -- Symmetric Key Mechanisms -- Towards a General RC4-Like Keystream...”
View full text

Electronic eBook

5

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “...) -- Access Control and Systems Security -- A Construction for General and Efficient Oblivious Commitment...”
View full text

Electronic eBook

7

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

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

8

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

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

9

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...”
View full text

Electronic eBook

10

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Published 2008

Table of Contents: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
View full text

Electronic eBook

11

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
View full text

Electronic eBook

12

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... -- Generalized Compact Knapsacks Are Collision Resistant -- An Efficient Provable Distinguisher for HFE -- A...”
View full text

Electronic eBook

13

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
View full text

Electronic eBook

14

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
View full text

Electronic eBook

15

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... Minicast Secure Against General Adversaries....”
View full text

Electronic eBook

16

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
View full text

Electronic eBook

17

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /

Published 2012

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

18

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...-Track A2. Security -- Online Network Design with Outliers -- Efficient Completely Non-malleable Public...”
View full text

Electronic eBook

19

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

20

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

Narrow Search