BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sébastien Bardin
SearchCollections
Map detail
Sébastien Bardin12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSébastien BardinASébastien BardinResearcherA Combined Approach for Constraints over Finite Domains and ArraysWA Combined Approach for...preprint / 2013Efficient Leverage of Symbolic ATG Tools to Advanced Coverage CriteriaWEfficient Leverage of S...preprint / 2013A Deductive Verification Framework for Circuit-building Quantum ProgramsWA Deductive Verificatio...preprint / 2020Formal Methods for Quantum Programs: A SurveyWFormal Methods for Quan...preprint / 2022Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-ErasureWBinsec/Rel: Symbolic Bi...preprint / 2022Interface Compliance of Inline Assembly: Automatically Check, Patch and RefineWInterface Compliance of...preprint / 2021AI-based Blackbox Code Deobfuscation: Understand, Improve and MitigateWAI-based Blackbox Code ...preprint / 2021Binary-level Directed Fuzzing for Use-After-Free VulnerabilitiesWBinary-level Directed F...preprint / 2020Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-LevelWBinsec/Rel: Efficient R...preprint / 2020Targeting Infeasibility Questions on Obfuscated CodesWTargeting Infeasibility...preprint / 2016Automatically Proving Microkernels Free from Privilege Escalation from their ExecutableWAutomatically Proving M...preprint / 2020
Person11 links

Sébastien Bardin

Researcher

PaperA Combined Approach for Constraints over Finite Domains and ArraysAuthorship / preprint / 2013PaperEfficient Leverage of Symbolic ATG Tools to Advanced Coverage CriteriaAuthorship / preprint / 2013PaperA Deductive Verification Framework for Circuit-building Quantum ProgramsAuthorship / preprint / 2020PaperFormal Methods for Quantum Programs: A SurveyAuthorship / preprint / 2022PaperBinsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-ErasureAuthorship / preprint / 2022PaperInterface Compliance of Inline Assembly: Automatically Check, Patch and RefineAuthorship / preprint / 2021PaperAI-based Blackbox Code Deobfuscation: Understand, Improve and MitigateAuthorship / preprint / 2021PaperBinary-level Directed Fuzzing for Use-After-Free VulnerabilitiesAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)