Khoai Dũng

267 Abonné

1 SlideShare 267 Abonné 315 Suivis

1 SlideShare 267 Abonné 315 Suivis

trada symbolic execution bepum

Tout plus

Activité
À propos

Symbolic execution: The next chapter of the game

il y a 7 ans • 499 Vues

Gossip & Key Value Store

Sajeev P • il y a 8 ans

An Authentication and Authorization Architecture for a Microservices World

VMware Tanzu • il y a 7 ans

Culture

Reed Hastings • il y a 14 ans

PVS-Studio is ready to improve the code of Tizen operating system

Andrey Karpov • il y a 6 ans

Linux and H/W optimizations for MySQL

Yoshinori Matsunobu • il y a 13 ans

How We Get There: A Context-Guided Search Strategy in Concolic Testing (FSE 2014)

Sung Kim • il y a 9 ans

Dynamic Binary Analysis and Obfuscated Codes

Jonathan Salwan • il y a 8 ans

Autonomous Hacking: The New Frontiers of Attack and Defense

Priyanka Aash • il y a 8 ans

Unique ID generation in distributed systems

Dave Gardner • il y a 11 ans

Georgy Nosenko - An introduction to the use SMT solvers for software security

DefconRussia • il y a 10 ans

Why PostgreSQL for Analytics Infrastructure (DW)?

Huy Nguyen • il y a 7 ans

Linux performance tuning & stabilization tips (mysqlconf2010)

Yoshinori Matsunobu • il y a 14 ans

Nginx Internals

Joshua Zhu • il y a 14 ans

Faster, More Effective Flowgraph-based Malware Classification

Silvio Cesare • il y a 12 ans

Malware Classification Using Structured Control Flow

Silvio Cesare • il y a 13 ans

Terascale Learning

pauldix • il y a 12 ans

Technical Tricks of Vowpal Wabbit

jakehofman • il y a 11 ans

Linux Performance Tools

Brendan Gregg • il y a 9 ans

Castle: Reinventing Storage for Big Data

Acunu • il y a 12 ans

Scala.io

Steve Gury • il y a 9 ans

Opus codec

Lee Hanxue • il y a 11 ans

FOSS Sthlm: Realtime Communication Update

Olle E Johansson • il y a 11 ans

Asterisk, IM and Presence: how?

Saúl Ibarra Corretgé • il y a 14 ans

Kamailio :: A Quick Introduction

Olle E Johansson • il y a 11 ans

trada symbolic execution bepum

Tout plus