Khoai Dũng

267 Seguidores

1 SlideShare 267 Seguidores 315 Seguindos

1 SlideShare 267 Seguidores 315 Seguindos

trada symbolic execution bepum

Ver mais

Atividades
Sobre

Symbolic execution: The next chapter of the game

Há 7 anos • 501 Visualizações

Gossip & Key Value Store

Sajeev P • Há 8 anos

An Authentication and Authorization Architecture for a Microservices World

VMware Tanzu • Há 7 anos

Culture

Reed Hastings • Há 14 anos

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

Andrey Karpov • Há 6 anos

Linux and H/W optimizations for MySQL

Yoshinori Matsunobu • Há 13 anos

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

Sung Kim • Há 9 anos

Dynamic Binary Analysis and Obfuscated Codes

Jonathan Salwan • Há 8 anos

Autonomous Hacking: The New Frontiers of Attack and Defense

Priyanka Aash • Há 8 anos

Unique ID generation in distributed systems

Dave Gardner • Há 11 anos

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

DefconRussia • Há 10 anos

Why PostgreSQL for Analytics Infrastructure (DW)?

Huy Nguyen • Há 7 anos

Linux performance tuning & stabilization tips (mysqlconf2010)

Yoshinori Matsunobu • Há 14 anos

Nginx Internals

Joshua Zhu • Há 14 anos

Faster, More Effective Flowgraph-based Malware Classification

Silvio Cesare • Há 12 anos

Malware Classification Using Structured Control Flow

Silvio Cesare • Há 13 anos

Terascale Learning

pauldix • Há 12 anos

Technical Tricks of Vowpal Wabbit

jakehofman • Há 12 anos

Linux Performance Tools

Brendan Gregg • Há 9 anos

Castle: Reinventing Storage for Big Data

Acunu • Há 12 anos

Scala.io

Steve Gury • Há 9 anos

Opus codec

Lee Hanxue • Há 11 anos

FOSS Sthlm: Realtime Communication Update

Olle E Johansson • Há 11 anos

Asterisk, IM and Presence: how?

Saúl Ibarra Corretgé • Há 14 anos

Kamailio :: A Quick Introduction

Olle E Johansson • Há 11 anos

trada symbolic execution bepum

Ver mais