Heine Pedersen

Learn More
The CytR repressor and the cAMP receptor protein (CRP) bind cooperatively to several promoters in Escherichia coli to repress transcription initiation. The synergistic binding is mediated by protein-protein interactions between the two regulators. Here, in vitro selection experiments have been used to examine the DNA-binding characteristics of CytR, by(More)
In this paper we describe the THAPS vulnerability scanner for PHP web applications. THAPS is based on symbolic execution of PHP with specialised support for scanning extensions and plug-ins of larger application frameworks. We further show how THAPS can integrate the results of dynamic analyses, generated by a customised web crawler, into the static(More)
  • 1