3 research outputs found

    The Role of the Small Export Apparatus Protein, SctS, in the Activity of the Type III Secretion System

    No full text
    Many gram-negative pathogens utilize a protein complex, termed the type III secretion system (T3SS), to inject virulence factors from their cytoplasm directly into the host cell. An export apparatus that is formed by five putative integral membrane proteins (SctR/S/T/U/V), resides at the center of the T3SS complex. In this study, we characterized the smallest export apparatus protein, SctS, which contains two putative transmembrane domains (PTMD) that dynamically extract from the inner membrane and adopt a helix-turn-helix structure upon assembly of the T3SS. Replacement of each SctS PTMD with an alternative hydrophobic sequence resulted in abolishment of the T3SS activity, yet SctS self- and hetero-interactions as well as the overall assembly of the T3SS complex were unaffected. Our findings suggest that SctS PTMDs are not crucial for the interactions or the assembly of the T3SS base complex but rather that they are involved in adjusting the orientation of the export apparatus relative to additional T3SS sub-structures, such as the cytoplasmic- and the inner-membrane rings. This ensures the fittings between the dynamic and static components of the T3SS and supports the functionality of the T3SS complex

    Applications of SAT solvers to cryptanalysis of hash functions

    No full text
    Several standard cryptographic hash functions were broken in 2005. Some essential building blocks of these attacks lend themselves well to automation by encoding them as CNF formulas, which are within reach of modern SAT solvers. In this paper we demonstrate effectiveness of this approach. In particular, we are able to generate full collisions for MD4 and MD5 given only the differential path and applying a (minimally modified) off-the-shelf SAT solver. To the best of our knowledge, this is the first example of a SAT-solver-aided cryptanalysis of a non-trivial cryptographic primitive. We expect SAT solvers to find new applications as a validation and testing tool of practicing cryptanalysts.
    corecore