Search Results - "binary code extraction"

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

Authors: Tan, Yong Kiam Heule, Marijn J.H. Myreen, Magnus

Source: International Journal on Software Tools for Technology Transfer. 25(2):167-184

Subject Terms: compositional proof checking, linear propagation redundancy, binary code extraction

File Description: electronic

Access URL: https://research.chalmers.se/publication/534843
https://research.chalmers.se/publication/534843/file/534843_Fulltext.pdf

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB: (Short Paper)

Authors: Zachary Tatlock Magnus O. Myreen Eric Mullen et al.

Source: Lecture Notes in Computer Science ISBN: 9783319948201

Access URL: https://dblp.uni-trier.de/db/conf/itp/itp2018.html#KumarMTM18
https://rd.springer.com/chapter/10.1007/978-3-319-94821-8_21
https://doi.org/10.1007/978-3-319-94821-8_21
https://research.chalmers.se/en/publication/504299
https://link.springer.com/chapter/10.1007/978-3-319-94821-8_21

Binary Code Extraction and Interface Identification for Security Applications

Authors: CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE Caballero, Juan Johnson, Noah M. et al.

Source: DTIC

Index Terms: Cybernetics, CODING, DATA PROCESSING SECURITY, EXTRACTION, IDENTIFICATION, CRYPTOGRAPHY, INTERFACES, BINARY CODES, REUTILIZATION, Text

URL: https://apps.dtic.mil/docs/citations/ADA538737

Binary Code Extraction and Interface Identification for Security Applications

Authors: Dawn Song Noah M. Johnson Juan Caballero et al.

Access URL: http://www.cs.berkeley.edu/%7Edawnsong/papers/2010%20binary%20code%20extraction.pdf
https://apps.dtic.mil/dtic/tr/fulltext/u2/a538737.pdf
http://bitblaze.cs.berkeley.edu/papers/bcr_ndss10.pdf
https://www.ndss-symposium.org/ndss2010/binary-code-extraction-and-interface-identification-security-applications
https://www.cs.berkeley.edu/~dawnsong/papers/2010%20binary%20code%20extraction.pdf
http://software.imdea.org/~juanca/papers/bcr_ndss10.pdf
https://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-133.pdf

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Authors: Tan, Yong Kiam Heule, Marijn J. H. Myreen, Magnus

Source: Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12652 LNCS:223-241

Subject Terms: linear propagation redundancy, binary code extraction

File Description: electronic

Access URL: https://research.chalmers.se/publication/527500
https://research.chalmers.se/publication/531575
https://research.chalmers.se/publication/531575/file/531575_Fulltext.pdf

Binary code extraction and interface identification for security applications

Authors: Juan Caballero Noah M. Johnson Stephen Mccamant et al.

Contributors: Juan Caballero Noah M. Johnson Stephen Mccamant et al.

Source: http://www.cs.berkeley.edu/%7Edawnsong/papers/2010%20binary%20code%20extraction.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.8296; http://www.cs.berkeley.edu/%7Edawnsong/papers/2010%20binary%20code%20extraction.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.8296
http://www.cs.berkeley.edu/%7Edawnsong/papers/2010%20binary%20code%20extraction.pdf

permission. Binary Code Extraction and Interface Identification for Security Applications

Authors: Juan Caballero Noah M. Johnson Stephen Mccamant et al.

Contributors: Juan Caballero Noah M. Johnson Stephen Mccamant et al.

Source: http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-133.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.2255

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.2255
http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-133.pdf

Binary Code Extraction and Interface Identification for Security Applications

Authors: Caballero, Juan Johnson, Noah M. McCamant, Stephen et al.

Contributors: Caballero, Juan Johnson, Noah M. McCamant, Stephen et al.

Source: DTIC

Subject Terms: Cybernetics, CODING, DATA PROCESSING SECURITY, EXTRACTION, IDENTIFICATION, CRYPTOGRAPHY, INTERFACES, BINARY CODES, REUTILIZATION

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA538737

Availability: http://www.dtic.mil/docs/citations/ADA538737
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA538737

A Zero-Trust Multi-Processor Reporter-Verifier Design of Edge Devices for Firmware Authenticity in Internet of Things and Blockchain Applications.

Authors: Maiti, Ananda Kist, Alexander A.

Source: Journal of Sensor & Actuator Networks; Apr2025, Vol. 14 Issue 2, p35, 19p

Subject Terms: ARTIFICIAL intelligence, INTERNET of things, DATA integrity, INTERNET security, BLOCKCHAINS

Preprocessing of Iris Images for BSIF-Based Biometric Systems: Binary Detected Edges and Iris Unwrapping.

Authors: Rubio, Arthur Magnier, Baptiste

Source: Sensors (14248220); Aug2024, Vol. 24 Issue 15, p4805, 15p

Subject Terms: IRIS recognition, BIOMETRIC identification, COMPUTER vision, FEATURE extraction, DATABASES, HOUGH transforms

Analyzing and revivifying function signature inference using deep learning.

Authors: Lin, Yan Singhal, Trisha Gao, Debin et al.

Source: Empirical Software Engineering; May2024, Vol. 29 Issue 3, p1-48, 48p

Age detection by optimizing the structure of layers and neurons in the neural network.

Authors: Jiang, Zhenghong Zhou, Chunrong

Source: Journal of Optics (09728821); Apr2024, Vol. 53 Issue 2, p1186-1202, 17p

Nimbus++: Revisiting Efficient Function Signature Recovery with Depth Data Analysis.

Authors: Chen, Ligeng Qian, Yi Wang, Yuyang et al.

Source: International Journal of Software Engineering & Knowledge Engineering; Oct2023, Vol. 33 Issue 10, p1537-1565, 29p

Subject Terms: DATA recovery, REVERSE engineering, TASK analysis, RECURRENT neural networks

Enhanced global and local face feature extraction for effective recognition of facial emotions.

Authors: Retnamony, Jeen Retna Kumar Muniasamy, Sundaram Stanley, Berakhah Florence

Source: Concurrency & Computation: Practice & Experience; 2/28/2022, Vol. 34 Issue 5, p1-25, 25p

Subject Terms: EMOTION recognition, BOLTZMANN machine, EMOTIONS, FEATURE extraction, STATISTICAL correlation, SOCIAL interaction

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Authors: Yong Kiam Tan Marijn J. H. Heule Magnus O. Myreen

Source: Lecture Notes in Computer Science ISBN: 9783030720124
Tools and Algorithms for the Construction and Analysis of Systems

Subject Terms: Article

Access URL: https://research.chalmers.se/publication/527500/file/527500_Fulltext.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-030-72013-1_12.pdf
https://link.springer.com/chapter/10.1007/978-3-030-72013-1_12
https://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#TanHM21
https://rd.springer.com/chapter/10.1007/978-3-030-72013-1_12
https://link.springer.com/content/pdf/10.1007%2F978-3-030-72013-1_12.pdf
https://doi.org/10.1007/978-3-030-72013-1_12
https://europepmc.org/article/PMC/PMC7984575

OVERHEAD VISION SYSTEM FOR TESTING SWARMS AND GROUPS OF WHEELED ROBOTS.

Authors: Wiech, Jakub Hendzel, Zenon

Source: Journal of Automation, Mobile Robotics & Intelligent Systems; 2019, Vol. 13 Issue 2, p15-22, 8p

Subject Terms: VISION testing, TEST systems, CAMERA calibration, ROBOTS, PINHOLE cameras

RAMBO: Run-Time Packer Analysis with Multiple Branch Observation.

Authors: Ugarte-Pedrero, Xabier Balzarotti, Davide Santos, Igor et al.

Source: Detection of Intrusions & Malware & Vulnerability Assessment (9783319406664); 2016, p186-206, 21p

Deep learning hashing for mobile visual search.

Authors: Liu, Wu Ma, Huadong Qi, Heng et al.

Source: EURASIP Journal on Image & Video Processing; 2/21/2017, Vol. 2017 Issue 1, p1-11, 11p

Subject Terms: DEEP learning, HASHING, MOBILE apps, SMARTPHONES, BIT rate

SoK: Deep Packer Inspection: A Longitudinal Study of the Complexity of Run-Time Packers.

Authors: Ugarte-Pedrero, Xabier Balzarotti, Davide Santos, Igor et al.

Source: 2015 IEEE Symposium on Security & Privacy; 2015, p659-673, 15p

Resurrecting Anti-Malware Through Collaboration.

Authors: Corregedor, Manuel Solms, Sebastiaan Von

Source: Proceedings of the European Conference on e-Learning (ECEL); 2015, p337-345, 9p

Subject Terms: ANTI-malware (Computer software), MALWARE, SOCIAL networks, VIRTUAL machine systems, COMPUTER operating systems