Skip to search formSkip to main contentSkip to account menu

S-ARP: a secure address resolution protocol

A secure version of ARP that provides protection against ARP poisoning and performance measurements show that PKI based strong authentication is feasible to secure even low level protocols, as long as the overhead for key validity verification is kept small.
View on IEEE (opens in a new tab)

Detecting Self-mutating Malware Using Control-Flow Graph Matching

This paper proposes a strategy for the detection of metamorphic malicious code inside a program P based on the comparison of the control flow graph of P against the set of control flow graphs of known malware.
View via Publisher (opens in a new tab)

FluXOR: Detecting and Monitoring Fast-Flux Service Networks

FluXOR monitoring and detection strategies entirely rely on the analysis of a set of features observable from the point of view of a victim of the scams perpetrated thorough botnets, a system to detect and monitor fast-flux service networks.
View via Publisher (opens in a new tab)

Testing CPU emulators

This paper presents a testing methodology specific for CPU emulators, based on fuzzing, and analysed four state-of-the-art IA-32 emulators and found several defects in each of them, some of which can prevent the proper execution of programs.
View on ACM (opens in a new tab)

Secure pebblenets

This work proposes a key management scheme to periodically update the symmetric keys used by all pebbles, combining mobility-adaptive clustering and an effective probabilistic selection of the key-generating node, which meets the requirements of efficiency, scalability and security needed for the survivability of networks of pebble (pebblenets).
View on ACM (opens in a new tab)

Lower bounds for the broadcast problem in mobile radio networks

It is proved that, even assuming that the processors know the network topology, Ω(n) rounds are required for solving the problem on a complete network (D=1) with n processors.
View on Springer (opens in a new tab)

Voice over IPsec: analysis and solutions

An efficient solution for packet header compression, which is called cIPsec, for VoIPsec traffic, and results show that the proposed compression scheme significantly reduces the overhead of packet headers, thus increasing the effective bandwidth used by the transmission.
View on IEEE (opens in a new tab)

Diversified Process Replicæ for Defeating Memory Error Exploits

This work defines pr as the replica of a process p which behaves identically to p but has some "structural" diversity from it, thus defeating absolute and partial overwriting memory error exploits and making possible to detect memory corruption attacks in a deterministic way.
View on IEEE (opens in a new tab)

A fistful of red-pills: how to automatically generate procedures to detect CPU emulators

An automatic and systematic technique to generate red-pills, specific for detecting if a program is executed through a CPU emulator, for two publicly available emulators, which are widely used for analyzing malware.

A mobility-transparent deterministic broadcast mechanism for ad hoc networks

The deterministic broadcast protocols introduced in this paper overcome the above limitations by using a novel mobility-transparent schedule, thus providing a delivery (time) guarantee without the need to recompute the schedules when topology changes.
View on ACM (opens in a new tab)
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)