Khoai Dũng

267 Followers

1 SlideShare 267 Followers 315 Folgens

trada symbolic execution bepum

Aktivität
Info

Symbolic execution: The next chapter of the game

Vor 7 Jahren • 501 Aufrufe

Gossip & Key Value Store

Sajeev P • Vor 8 Jahren

An Authentication and Authorization Architecture for a Microservices World

VMware Tanzu • Vor 7 Jahren

Culture

Reed Hastings • Vor 14 Jahren

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

Andrey Karpov • Vor 6 Jahren

Linux and H/W optimizations for MySQL

Yoshinori Matsunobu • Vor 13 Jahren

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

Sung Kim • Vor 9 Jahren

Dynamic Binary Analysis and Obfuscated Codes

Jonathan Salwan • Vor 8 Jahren

Autonomous Hacking: The New Frontiers of Attack and Defense

Priyanka Aash • Vor 8 Jahren

Unique ID generation in distributed systems

Dave Gardner • Vor 11 Jahren

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

DefconRussia • Vor 10 Jahren

Why PostgreSQL for Analytics Infrastructure (DW)?

Huy Nguyen • Vor 7 Jahren

Linux performance tuning & stabilization tips (mysqlconf2010)

Yoshinori Matsunobu • Vor 14 Jahren

Nginx Internals

Joshua Zhu • Vor 14 Jahren

Faster, More Effective Flowgraph-based Malware Classification

Silvio Cesare • Vor 12 Jahren

Malware Classification Using Structured Control Flow

Silvio Cesare • Vor 13 Jahren

Terascale Learning

pauldix • Vor 12 Jahren

Technical Tricks of Vowpal Wabbit

jakehofman • Vor 12 Jahren

Linux Performance Tools

Brendan Gregg • Vor 9 Jahren

Castle: Reinventing Storage for Big Data

Acunu • Vor 12 Jahren

Scala.io

Steve Gury • Vor 9 Jahren

Opus codec

Lee Hanxue • Vor 11 Jahren

FOSS Sthlm: Realtime Communication Update

Olle E Johansson • Vor 11 Jahren

Asterisk, IM and Presence: how?

Saúl Ibarra Corretgé • Vor 14 Jahren

Kamailio :: A Quick Introduction