Cohomology with closed support on the overconvergent site
  Using the notions of open/closed subtopoi of SGA, we define a notion of cohomology with support in a closed subscheme on the overconvergent site, and show that this agrees with the classic notion of rigid cohomology support in a closed subscheme. 
David Zureick-Brown
math.AG