Constantine: configurable static analysis tool in Eclipse.
Efficient compilation strategy for object-oriented languages under the closed-world assumption.
A new approach to authenticating and encrypting Voice over Internet Protocol communications.
Incremental inconsistency detection with low memory overhead.
SIPmsign: a lightweight mobile signature service based on the Session Initiation Protocol.
Enabling OpenCL support for GPGPU in Kernel-based Virtual Machine.