Real-Time Misbehavior Detection in IEEE 802.11e Based WLANs

The Enhanced Distributed Channel Access (EDCA) specification in the IEEE 802.11e standard supports heterogeneous backoff parameters and arbitration inter-frame space (AIFS), which makes a selfish node easy to manipulate these parameters and misbehave. In this case, the network-wide fairness cannot be achieved any longer. Many existing misbehavior detectors, primarily designed for legacy IEEE 802.11 networks, become inapplicable in such a heterogeneous network configuration. In this paper, we propose a novel real-time hybrid-share (HS) misbehavior detector for IEEE 802.11e based wireless local area networks (WLANs). The detector keeps updating its state based on every successful transmission and makes detection decisions by comparing its state with a threshold. We develop mathematical analysis of the detector performance in terms of both false positive rate and average detection rate. Numerical results show that the proposed detector can effectively detect both contention window based and AIFS based misbehavior with only a short detection window.Comment: Accepted to IEEE Globecom 201

Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools

Register Transfer Level (RTL) design validation is a crucial stage in the hardware design process. We present a new approach to enhancing RTL design validation using available software techniques and tools. Our approach converts the source code of a RTL design into a C++ software program. Then a powerful symbolic execution engine is employed to execute the converted C++ program symbolically to generate test cases. To better generate efficient test cases, we limit the number of cycles to guide symbolic execution. Moreover, we add bit-level symbolic variable support into the symbolic execution engine. Generated test cases are further evaluated by simulating the RTL design to get accurate coverage. We have evaluated the approach on a floating point unit (FPU) design. The preliminary results show that our approach can deliver high-quality tests to achieve high coverage

Modeling and Analysis of Bifurcation in a Delayed Worm Propagation Model

A delayed worm propagation model with birth and death rates is formulated. The stability of the positive equilibrium is studied. Through theoretical analysis, a critical value τ0 of Hopf bifurcation is derived. The worm propagation system is locally asymptotically stable when time delay is less than τ0. However, Hopf bifurcation appears when time delay τ passes the threshold τ0, which means that the worm propagation system is unstable and out of control. Consequently, time delay should be adjusted to be less than τ0 to ensure the stability of the system stable and better prediction of the scale and speed of Internet worm spreading. Finally, numerical and simulation experiments are presented to simulate the system, which fully support our analysis

Giant supercurrent states in a superconductor-InAs/GaSb-superconductor junction

Superconductivity in topological materials has attracted a great deal of interest in both electron physics and material sciences since the theoretical predictions that Majorana fermions can be realized in topological superconductors [1-4]. Topological superconductivity could be realized in a type II, band-inverted, InAs/GaSb quantum well if it is in proximity to a conventional superconductor. Here we report observations of the proximity effect induced giant supercurrent states in an InAs/GaSb bilayer system that is sandwiched between two superconducting tantalum electrodes to form a superconductor-InAs/GaSb-superconductor junction. Electron transport results show that the supercurrent states can be preserved in a surprisingly large temperature-magnetic field (T-H) parameter space. In addition, the evolution of differential resistance in T and H reveals an interesting superconducting gap structure

Probing terahertz surface plasmon waves in graphene structures

Epitaxial graphene mesas and ribbons are investigated using terahertz (THz) nearfield microscopy to probe surface plasmon excitation and THz transmission properties on the sub-wavelength scale. The THz near-field images show variation of graphene properties on a scale smaller than the wavelength, and excitation of THz surface waves occurring at graphene edges, similar to that observed at metallic edges. The Fresnel reflection at the substrate SiC/air interface is also found to be altered by the presence of graphene ribbon arrays, leading to either reduced or enhanced transmission of the THz wave depending on the wave polarization and the ribbon width.Comment: accepted for publication in Applied Physics Lette