Search Results - programming function https function attacking https

1

Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings /

Published 2012

Table of Contents: “... of Drivers -- Attacks and Defenses -- Industrial Espionage and Targeted Attacks: Understanding...”
View full text

Electronic eBook

2

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Published 2006

Table of Contents: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
View full text

Electronic eBook

3

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

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

4

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Published 2012

Table of Contents: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
View full text

Electronic eBook

5

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

Table of Contents: “... Programs in Dynamic Languages -- Fine-Grained Detection of Privilege Escalation Attacks on Browser...”
View full text

Electronic eBook

6

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

7

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
View full text

Electronic eBook

8

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
View full text

Electronic eBook

9

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”
View full text

Electronic eBook

10

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: “... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”
View full text

Electronic eBook

11

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... Vulnerability to Doubling Attacks -- Side Channel Analysis of Some Hash Based MACs: A Response to SHA-3...”
View full text

Electronic eBook

13

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Published 2010

Table of Contents: “... World -- Control Systems Security -- Modeling Control System Failures and Attacks – The Waterloo...”
View full text

Electronic eBook

14

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... Using All-Or-Nothing Transform Encryption -- Prevention of Wormhole Attacks in Mobile Ad Hoc Networks...”
View full text

Electronic eBook

16

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Published 2005

Table of Contents: “... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...”
View full text

Electronic eBook

17

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...”
View full text

Electronic eBook

18

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

19

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

Published 2010

Table of Contents: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
View full text

Electronic eBook

20

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
View full text

Electronic eBook

Narrow Search