Khoai Dũng

267 Followers

1 SlideShare 267 Followers 315 Followings

1 SlideShare 267 Followers 315 Followings

trada symbolic execution bepum

See more

Activity
About

Symbolic execution: The next chapter of the game

7 years ago • 501 Views

Gossip & Key Value Store

Sajeev P • 8 years ago

An Authentication and Authorization Architecture for a Microservices World

VMware Tanzu • 7 years ago

Culture

Reed Hastings • 14 years ago

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

Andrey Karpov • 6 years ago

Linux and H/W optimizations for MySQL

Yoshinori Matsunobu • 13 years ago

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

Sung Kim • 9 years ago

Dynamic Binary Analysis and Obfuscated Codes

Jonathan Salwan • 8 years ago

Autonomous Hacking: The New Frontiers of Attack and Defense

Priyanka Aash • 8 years ago

Unique ID generation in distributed systems

Dave Gardner • 11 years ago

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

DefconRussia • 10 years ago

Why PostgreSQL for Analytics Infrastructure (DW)?

Huy Nguyen • 7 years ago

Linux performance tuning & stabilization tips (mysqlconf2010)

Yoshinori Matsunobu • 14 years ago

Nginx Internals

Joshua Zhu • 14 years ago

Faster, More Effective Flowgraph-based Malware Classification

Silvio Cesare • 12 years ago

Malware Classification Using Structured Control Flow

Silvio Cesare • 13 years ago

Terascale Learning

pauldix • 12 years ago

Technical Tricks of Vowpal Wabbit

jakehofman • 12 years ago

Linux Performance Tools

Brendan Gregg • 9 years ago

Castle: Reinventing Storage for Big Data

Acunu • 12 years ago

Scala.io

Steve Gury • 9 years ago

Opus codec

Lee Hanxue • 11 years ago

FOSS Sthlm: Realtime Communication Update

Olle E Johansson • 11 years ago

Asterisk, IM and Presence: how?

Saúl Ibarra Corretgé • 14 years ago

Kamailio :: A Quick Introduction

Olle E Johansson • 11 years ago

trada symbolic execution bepum

See more