Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
function attacking » functions attacking, function tracking, function making
program functions » programs functional, program foundations, programme function
functions https » foundations https
attacking https » teaching https
https function » its function, sites function, ups function
function attacking » functions attacking, function tracking, function making
program functions » programs functional, program foundations, programme function
functions https » foundations https
attacking https » teaching https
https function » its function, sites function, ups function
1
Argitaratua 2012
Aurkibidea:
“... of Drivers -- Attacks and Defenses -- Industrial Espionage and Targeted Attacks: Understanding...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2012
Aurkibidea:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Testu osoa
Baliabide elektronikoa
eBook
5
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Argitaratua 2015
Aurkibidea:
“... Programs in Dynamic Languages -- Fine-Grained Detection of Privilege Escalation Attacks on Browser...”Testu osoa
Baliabide elektronikoa
eBook
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2012
Aurkibidea:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Aurkibidea:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2008
Aurkibidea:
“... -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2007
Aurkibidea:
“... of Human Activity -- Integration Use Cases – An Applied UML Technique for Modeling Functional Requirements...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Vulnerability to Doubling Attacks -- Side Channel Analysis of Some Hash Based MACs: A Response to SHA-3...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... World -- Control Systems Security -- Modeling Control System Failures and Attacks – The Waterloo...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2005
Aurkibidea:
“... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...”Testu osoa
Baliabide elektronikoa
eBook