Ohad Shacham

16 papers A* 2A 3B 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2019 B conf
PACT
Amir Watad, Alexander Libov, Ohad Shacham, Edward Bortnikov, Mark Silberstein
2018 J jnl
Proc. VLDB Endow.
Ohad Shacham, Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar
2017 conf
SoCC
Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham
2017 A conf
FAST
Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ivan Kelly, Matthieu Morel, Sameer Paranjpye, Francisco Perez-Sorrosal, Ohad Shacham
2014 A conf
ISSTA
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
2012
Ohad Shacham
2011 J jnl
Int. J. Softw. Tools Technol. Transf.
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
2011 A conf
OOPSLA
Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
2009 A* conf
PLDI
Ohad Shacham, Martin T. Vechev, Eran Yahav
2008 conf
Haifa Verification Conference
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
2007 A* conf
DAC
Ohad Shacham, Karen Yorav
2007 J jnl
J. Parallel Distributed Comput.
Ohad Shacham, Mooly Sagiv, Assaf Schuster
2005 conf
BMC@CAV
Ohad Shacham, Karen Yorav
2005 B conf
PPoPP
Ohad Shacham, Mooly Sagiv, Assaf Schuster
2005 conf
BMC@CAV
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
2003 conf
MTV
Ohad Shacham, Emmanuel Zarpas
test_files/binary-test-notes.txt
← Index test_files/binary-test-notes.txt plaintext
TESTS TO DO / PROBLEMS TO FIX
-----------------------------------------------------------------
md5: 
sha1: 
sha256:
Filename: 

Extractor:  
Problem: 
-----------------------------------------------------------------
-----------------------------------------------------------------
md5: 
sha1: 
sha256:
Filename: /mnt/samples/consilience/malware/test/test-unzipped/379251974ebcd5c397f92ca45bb9620d

Extractor: CAPAExtractor 
Problem: the json output extracts a set of capabilities "without key", which they do not appear indeed in the capa <file> colored output

Capa
CAPA(
    capa_capabilities={
        'linking/runtime-linking': ['link function at runtime on Windows'], 
        '': ['create or open file', 'allocate memory', 'allocate or change RW memory', 'change memory protection', 'contain loop'], 
        'data-manipulation/encoding/xor': ['encode data using XOR'], 
        'host-interaction/process/terminate': ['terminate process'], 
        'host-interaction/file-system': ['get common file path'], 
        'host-interaction/file-system/meta': ['get file size'], 
        'host-interaction/file-system/read': ['read file via mapping'], 
        'load-code/pe': ['enumerate PE sections', 'resolve function by parsing PE exports'], 
        'linking/static/zlib': ['linked against ZLIB']
    }, 
    capa_attack_info={
        'Execution': {'Shared Modules': 'T1129'}, 
        'Defense Evasion': {'Obfuscated Files or Information': 'T1027'}, 
        'Discovery': {'File and Directory Discovery': 'T1083'}
    }, 
    capa_mbc_info={
        'File System': {'Create File': 'C0016', 'Read File': 'C0051'}, 
        'Memory': {'Allocate Memory': 'C0007', 'Change Memory Protection': 'C0008'}, 
        'Defense Evasion': {'Obfuscated Files or Information': 'E1027.m02'}, 
        'Data': {'Encode Data': 'C0026.002', 'Compression Library': 'C0060'}, 
        'Process': {'Terminate Process': 'C0018'}, 
        'Discovery': {'File and Directory Discovery': 'E1083', 'Code Discovery': 'B0046.001'}
    }
)
-----------------------------------------------------------------