|
|
Forensic analysis of a web browser
Bača, Michal ; Rychlý, Marek (referee) ; Očenášek, Pavel (advisor)
This term project deals with digital forensic analysis of web browsers. The first chapters describe the process of forensic analysis, methodologies and procedures used, and also the issues of analysis of web browsers. In particular, the types of information browser stores and security problems that comes with that. Theoretical and practical procedure for obtaining data from Mozilla Firefox web browser was based on the theoretical foundations described in previous chapters. Common linux tools and application created as part of this thesis are used in process of collecting digital evidence. Digital forensic analysis of web broewser was performed based on suggested procedure.
|
|
|
Fast Regular Expression Matching Using FPGA
Kubiš, Juraj ; Fukač, Tomáš (referee) ; Matoušek, Denis (advisor)
Bachelor thesis deals with the possibility of hardware acceleration of regular expression matches. The content of the thesis is to analyze existing hardware architectures and evaluate their positive and negative properties. Based on this knowledge, the architecture is designed. It is based on deterministic finite automata with implicit transitions (D2FA), is implemented in VHDL and is synthesized. The synthesis results are analyzed to determine the overall throughput of the architecture. It is designed software to convert regular expressions into a D2FA and to optimize this automaton in order to minimize memory requirements. The implementation is verified and the benefits of individual optimization techniques to reduce memory requirements are evaluated.
|
|
|
Vizualization of Automata Algorithms
Kuchyňka, Jiří ; Češka, Milan (referee) ; Holík, Lukáš (advisor)
Tato práce se zabývá návrhem a implementací generického systému k vizualizaci algoritmů, které pracují nad automaty. Výsledný systém zcela odděluje část, která se věnuje generování dat k vizualizaci a část, která se věnuje vizualizování. Systém pouze určuje jejich komunikační rozhraní. Práce se zaměřuje na integraci takovéhoto systému do existujících knihoven takovým způsobem, aby byly minimalizovány požadavky na programátora, k tomu aby mohl vizualizovat stav svého algoritmu. Práce se také zkráceně věnuje možnostem využití tohoto systému k vizualizaci stavu algoritmu při krokování programem během ledění. Navržený systém může být použit pro výuku, výzkum a praktické aplikace v oblasti teorie automatů. V budoucnu by mohl být systém rozšířen o nástroje k vizualizaci turingových strojů a algoritmů pracujících nad nimi.
|
|
|
Fast Regular Expression Matching Using FPGA
Kubiš, Juraj ; Fukač, Tomáš (referee) ; Matoušek, Denis (advisor)
Bachelor thesis deals with the possibility of hardware acceleration of regular expression matches. The content of the thesis is to analyze existing hardware architectures and evaluate their positive and negative properties. Based on this knowledge, the architecture is designed. It is based on deterministic finite automata with implicit transitions (D2FA), is implemented in VHDL and is synthesized. The synthesis results are analyzed to determine the overall throughput of the architecture. It is designed software to convert regular expressions into a D2FA and to optimize this automaton in order to minimize memory requirements. The implementation is verified and the benefits of individual optimization techniques to reduce memory requirements are evaluated.
|
|
|
Ecology,ethology and variability of european green lizard Lacerta viridis in Natural reservation Tiché údolí
Chmelař, Jan ; Rehák, Ivan (advisor) ; Moravec, Jiří (referee)
The European green lizard, Lacerta viridis, is in the Bohemia region stated as critically endangered species. Populations in this region are located beyond the northern border of continuous range of this species and are closely related to the "riverine phenomenon", and deeply engorged river valleys. The chosen locality in Tiché údolí is a subject to a long-term conservational management aimed to strengthen and maintain abundance of the local population. This management is a direct output of a previous study of this population performed in years 1995-1997. Main goal of the presented study is to compare current population characteristics with the older study. The locality has been visited 119 times in years from 2011 to 2014. The studied population now displays higher abundance and inhabits a larger area. The author also performed a spatial analysis of the places with presence of an observed individual in order to determine and evaluate significance of the chosen abiotic factors for habitat discrimination. The results indicate that positive discrimination is based on the presence of a rock debris and a hiding place. Strongest factors towards negative discrimination were high percentages of grass and high vegetation coverage. This study also contains and discusses ecological, ethological and...
|
|
|
Forensic analysis of a web browser
Bača, Michal ; Rychlý, Marek (referee) ; Očenášek, Pavel (advisor)
This term project deals with digital forensic analysis of web browsers. The first chapters describe the process of forensic analysis, methodologies and procedures used, and also the issues of analysis of web browsers. In particular, the types of information browser stores and security problems that comes with that. Theoretical and practical procedure for obtaining data from Mozilla Firefox web browser was based on the theoretical foundations described in previous chapters. Common linux tools and application created as part of this thesis are used in process of collecting digital evidence. Digital forensic analysis of web broewser was performed based on suggested procedure.
|
guest ::
