Node configuration for the Aho-Corasick algorithm in intrusion detection systems

In this paper, we analyze the performance and cost trade-off from selecting two representations of nodes when implementing the Aho-Corasick algorithm. This algorithm can be used for pattern matching in network-based intrusion detection systems such as Snort. Our analysis uses the Snort 2.9.7 rules set, which contains almost 26k patterns. Our methodology consists of code profiling and analysis, followed by the selection of a parameter to maximize a metric that combines clock cycles count and memory usage. The parameter determines which of two types of nodes is selected for each trie node. We show that it is possible to select the parameter to optimize the metric, which results in an improvement by up to 12× compared with the single node-type case

Integrating Abstraction Techniques for Formal Verification of Analog Designs

The verification of analog designs is a challenging and exhaustive task that requires deep understanding of physical behaviours. In this paper, we propose a qualitative based predicate abstraction method for the verification of a class of non-linear analog circuits. In the proposed method, system equations are automatically extracted from a circuit diagram by means of a bond graph. Verification is applied based on combining techniques from constraint solving and computer algebra along with symbolic model checking. Our methodology has the advantage of avoiding exhaustive simulation normally encountered in the verification of analog designs. To this end, we have used Dymola, Hsolver, SMV and Mathematica to implement the verification flow. We illustrate the methodology on several analog examples including Colpitts and tunnel diode oscillators

Kynurenine pathway metabolism following prenatal KMO inhibition and in Mecp2+/- mice, using liquid chromatography-tandem mass spectrometry

To quantify the full range of tryptophan metabolites along the kynurenine pathway, a liquid chromatography – tandem mass spectrometry method was developed and used to analyse brain extracts of rodents treated with the kynurenine-3-mono-oxygenase (KMO) inhibitor Ro61-8048 during pregnancy. There were significant increases in the levels of kynurenine, kynurenic acid, anthranilic acid and 3-hydroxy-kynurenine (3-HK) in the maternal brain after 5 h but not 24 h, while the embryos exhibited high levels of kynurenine, kynurenic acid and anthranilic acid after 5 h which were maintained at 24 h post-treatment. At 24 h there was also a strong trend to an increase in quinolinic acid levels (P = 0.055). No significant changes were observed in any of the other kynurenine metabolites. The results confirm the marked increase in the accumulation of some neuroactive kynurenines when KMO is inhibited, and re-emphasise the potential importance of changes in anthranilic acid. The prolonged duration of metabolite accumulation in the embryo brains indicates a trapping of compounds within the embryonic CNS independently of maternal levels. When brains were examined from young mice heterozygous for the meCP2 gene – a potential model for Rett syndrome - no differences were noted from control mice, suggesting that the proposed roles for kynurenines in autism spectrum disorder are not relevant to Rett syndrome, supporting its recognition as a distinct, independent, condition