Caballero

Results: 264



#Item
101Software testing / Error detection and correction / Software bugs / Abstract interpretation / Symbolic execution / Malware / Function / Hash function / Block cipher / Mathematics / Computing / Computer programming

Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
102Cross-site scripting / Content filtering / Algorithm / JavaScript / Internet Explorer / Internet media type / Computing / Software / Cyberwarfare

Extracting Models of Security-Sensitive Operations using String-Enhanced White-Box Exploration on Binaries Juan Caballero Stephen McCamant

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2009-03-06 13:57:04
103Network protocols / Data transmission / Communications protocol / Protocols / Email / Transmission Control Protocol / Coupling / Circular buffer / EMI / Computing / Data / Information

Dispatcher: Enabling Active Botnet Infiltration using Automatic Protocol Reverse-Engineering Juan Caballero Pongsin Poosankam

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
104Software testing / Error detection and correction / Software bugs / Abstract interpretation / Symbolic execution / Malware / Function / Hash function / Block cipher / Mathematics / Computing / Computer programming

Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2013-09-09 05:44:56
105Debugging / Program analysis / Program slicing / Program transformation / Software maintenance / Static single assignment form / Subroutine / Algorithm / Stack / Computing / Computer programming / Software engineering

Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† ,

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
106Information / Internet standards / Data transmission / Petroleum production / Separator / Communications protocol / Transmission Control Protocol / Password authentication protocol / Pointer / Computing / Data / Internet protocols

Polyglot: Automatic Extraction of Protocol Message Format using Dynamic Binary Analysis ∗ Juan Caballero∗ , Heng Yin†∗ , Zhenkai Liang∗ , Dawn Song‡∗ Carnegie Mellon University † College of William and Ma

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
107Information / Security / Domain name system / Human anatomy / Network architecture / TCP/IP stack fingerprinting / Decision tree model / Transmission Control Protocol / Name server / Fingerprints / Biometrics / Internet protocols

FiG: Automatic Fingerprint Generation Juan Caballero Carnegie Mellon University Shobha Venkataraman Carnegie Mellon University

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2013-09-09 05:44:56
108Debugging / Program analysis / Program slicing / Program transformation / Software maintenance / Static single assignment form / Subroutine / Algorithm / Stack / Computing / Computer programming / Software engineering

Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† ,

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2014-10-30 21:40:55
109Graphical models / Probability theory / Game artificial intelligence / Search algorithms / Bayesian network / Variance / Minimax / Tango tree / Statistics / Mathematics / Networks

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, TKDE[removed]R2 Using Ranked Nodes to Model Qualitative Judgments in Bayesian Networks Norman E Fenton, Martin Neil and Jose Galan Caballero Abstract— Although B

Add to Reading List

Source URL: www.agenarisk.com

Language: English - Date: 2010-02-23 15:24:05
110OneSteel / Dumping / Exchange rate / Futures contract / Export / International trade / Business / Economics

23 March[removed]Ms C Caballero Director Operations AntiAnti -Dumping Commission Ground Floor

Add to Reading List

Source URL: www.adcommission.gov.au

Language: English - Date: 2015-04-08 23:36:27
UPDATE