<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Vaibhav Sharma on The Trail of Bits Blog</title><link>https://miscreants.github.io/blog.trailofbits.com/authors/vaibhav-sharma/</link><description>Recent content in Vaibhav Sharma on The Trail of Bits Blog</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Fri, 25 Jan 2019 07:50:16 -0500</lastBuildDate><atom:link href="https://miscreants.github.io/blog.trailofbits.com/authors/vaibhav-sharma/index.xml" rel="self" type="application/rss+xml"/><item><title>Symbolic Path Merging in Manticore</title><link>https://miscreants.github.io/blog.trailofbits.com/2019/01/25/symbolic-path-merging-in-manticore/</link><pubDate>Fri, 25 Jan 2019 07:50:16 -0500</pubDate><guid>https://miscreants.github.io/blog.trailofbits.com/2019/01/25/symbolic-path-merging-in-manticore/</guid><description>Each year, Trail of Bits runs a month-long winter internship “winternship” program. This year we were happy to host 4 winterns who contributed to 3 projects. This is the first in a series of blog posts covering the 2019 Wintern class. Our first report is from Vaibhav Sharma (@vbsharma), a PhD student at the University […]</description></item></channel></rss>