Search Results - program security https functionality setting https

1

by Scarioni, Carlo., Scarioni, Carlo.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

Published 2005

Table of Contents: “...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”
View full text

Electronic eBook

3

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

Published 2006

Table of Contents: “... Signatures -- Applied Cryptography and Network Security -- Secure Set Membership Using 3Sat -- Left-to-Right...”
View full text

Electronic eBook

4

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

Published 2008

Table of Contents: “... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”
View full text

Electronic eBook

5

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

Published 2006

Table of Contents: “... -- Hashing and Message Authentication -- Constructing Secure Hash Functions by Enhancing Merkle-Damgård...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
View full text

Electronic eBook

7

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”
View full text

Electronic eBook

8

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

9

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Cryptographic Applications -- Do Broken Hash Functions Affect the Security of Time-Stamping Schemes? -- A Handy...”
View full text

Electronic eBook

10

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

Published 2006

Table of Contents: “... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”
View full text

Electronic eBook

11

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

Published 2015

Table of Contents: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
View full text

Electronic eBook

12

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

13

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

14

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

Published 2007

Table of Contents: “... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”
View full text

Electronic eBook

15

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

16

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

17

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

Published 2013

Table of Contents: “... -- On Bar Recursion and Choice in a Classical Setting -- Proofs, Upside Down: A Functional Correspondence...”
View full text

Electronic eBook

18

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

19

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
View full text

Electronic eBook

20

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

Narrow Search