Software Downloads
- Lifting assembly to intermediate language: An architecture-neutral
approach: There are two packages available, both representing novel
approaches that reverse the logic implemented in code generators of
modern compilers. This means that our approach can support all major
architectures supported by these compilers without significant efforts
for architecture-specific modeling.
- LISC: A learning-based approach for lifting
assembly to architecture-neutral intermediate language (GCC RTL).
It has been used to lift multiple instructions sets, including x86 and ARM with
all their extensions.
- EISSEC: A symbolic-execution based approach
for lifting assembly to architecture-neutral intermediate language (GCC RTL).
- PSI:
Platform for Static binary Instrumentation. Based on (and supercedes)
BinCFI,
Control Flow Integrity for COTS Binaries.
- CFCI:
Strong code integrity. Built over the foundation of coarse-grained
CFI provided by PSI. It can efend against all injected native code attacks,
regardless of their sophistication.
- Host Integrity protection. Provides systematic protection
from stealthy/sophisticated malware without unduly impacting usability of benign
software. Works by preventing untrusted code/data from ever influencing any
security-critical application or data.
- Portable Integrity
Protection System (PIP). A userland integrity protection system that provides
strong protection from untrusted code/malware, while preserving usability of
benign software.
- Kernel-based
integrity protection (SRFD). This system implements information-flow
based integrity protection within the kernel. A key benefit of this
implementation over userland implementation is that it supports dynamic
downgrading of process integrities, while avoiding the problem of
self-revocation.
- JaTE: Transparent and Efficient policy enforcement for full JavaScript.
- Light-weight Bounds Checker. A fast technique for detecting bounds errors in C-programs
that is 100% compatible with existing C-code.
- XSSFilt. Browser-resident XSS Filter to block reflected XSS attacks. Works with Firefox.
- jCSRF. Automatic CSRF protection for Web 2.0 applications
- VNetLab. A
virtual network laboratory for carrying out security experiments.
- Comprehensive
Address Space Randomizer. A source-to-source transformer for
C programs that randomizes (a) the absolute locations of objects
in memory, and (b) the relative distances between objects. It
provides protection from a wide range of attacks that target
buffer overflows and related memory errors.
- Address-obfuscated
servers. An earlier version of the above project that
randomizes only absolute addresses. It does not use any source code
transformations.
- TaintPolicy.
A source-code transformer that instruments C programs to enable
efficient fine-grained (byte-level) dynamic taint tracking for
attack detection based on taint-enhanced security policies.
- Memory Safe C Compiler. A tool for runtime detection of all memory errors in C programs
with reasonable runtime overheads.
- Alcatraz. A
tool for isolating execution of untrusted software.
- Etrace.
An extensible system call interposition framework.
- RPMShield. A
tool that safeguards a system during the installation of poorly designed
or malicious packages. Intuitive, high-level policies are enforced on the
package installation process in order to protect against actions that may
compromise system security, or potentially interfere existing packages.
|