Formal verification of TLS 1.2 by automatically generating proof scores von Tran, Duong Dinh, Ogata, Kazuhiro

Volltext

THE NUMBER AND ABUNDANCE OF ICHNEUMONIDAE (HYMENOPTERA, APOCRITA) SUBFAMILIES OCCURRING IN APPLE ORCHARDS AND ON THEIR EDGES von Piekarska-Boniecka, Hanna, Zyprych-Walczak, Jolanta, Rzańska-Wieczorek, Marta, Dinh, Duong Tran, Siatkowski, Idzi

Volltext

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol von Tran, Duong Dinh, Ogata, Kazuhiro, Escobar, Santiago, Akleylek, Sedat, Otmani, Ayoub

Volltext

Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude von Tran, Duong Dinh, Ogata, Kazuhiro, Escobar, Santiago, Akleylek, Sedat, Otmani, Ayoub

Volltext

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version von Tran, Duong Dinh, Do, Canh Minh, Escobar, Santiago, Ogata, Kazuhiro

Volltext

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method von Tran, Duong Dinh, Bui, Dang Duy, Ogata, Kazuhiro

Volltext

The bee genus Anthidiellum in Vietnam: descriptions of five new species and the first male of Anthidiellum coronum (Hymenoptera, Megachilidae) von Tran, Ngat Thi, Engel, Michael S, Nguyen, Cuong Quang, Tran, Duong Dinh, Nguyen, Lien Thi Phuong

Volltext

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores von Tran, Duong Dinh, Wai Mon, Thet, Ogata, Kazuhiro

Volltext

Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ von Tran, Duong Dinh, Ogata, Kazuhiro

Volltext

The Impact of Apple Orchard Edge Plants on Communities of Pimplinae (Hymenoptera, Ichneumonidae) von Piekarska-Boniecka, Hanna, Zyprych-Walczak, Jolanta, Siatkowski, Idzi, Dolańska-Niedbała, Ewa, Trzciński, Paweł, Rzańska-Wieczorek, Marta, Dinh, Duong Tran

Volltext

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving von Bui, Dang Duy, Tran, Duong Dinh, Ogata, Kazuhiro, Riesco, Adrian

Volltext

The bee genus Anthidiellum in Vietnam: descriptions of five new species and the first male of Anthidiellumcoronum (Hymenoptera, Megachilidae) von Tran, Ngat Thi, Engel, Michael S, Nguyen, Cuong Quang, Tran, Duong Dinh, Nguyen, Lien Thi Phuong

Volltext

Future Location Prediction in Wireless Network Based on Spatiotemporal Data Mining von Cong Hung Tran Thuy Van T. Duong Dinh Que Tran

Volltext

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol von Tran, Duong Dinh, Ogata, Kazuhiro, Escobar Román, Santiago, Akleylek, Sedat, Otmani, Ayoub

Volltext bestellen

First record of the genus Palpostilpnus Aubert (Ichneumonidae: Phygadeuontinae) from Vietnam, with descriptions of eight new species von Pham, Nhi Thi, Mao-Ling Sheng, Park, Clara, Tran, Duong Dinh, Reshchikov, Alexey

Volltext bestellen

Two new species of Trichrysis Lichtenstein (Hymenoptera: Chrysididae) from Vietnam and China, with taxonomic notes on other species from the Oriental region von Nguyen, Lien Thi Phuong, Wiśniowski, Bogdan, Ngat Thi Tran, Tran, Duong Dinh, Rosa, Paolo

Volltext bestellen

The bee genus Anthidiellum in Vietnam: descriptions of five new species and the first male of Anthidiellum coronum (Hymenoptera, Megachilidae) von Ngat Thi Tran, Engel, Michael S., Nguyen, Cuong Quang, Tran, Duong Dinh, Nguyen, Lien Thi Phuong

Volltext bestellen

First record of the genus Testudobracon Quicke, 1986 (Hymenoptera: Braconidae: Braconinae) in Vietnam, with description of four new species von Pham Quynh Mai, Khuat Dang Long, Nguyen Duc Hiep, Hoa, Dang Thi, Duong, Tran Dinh

Volltext bestellen

FIGURES 2a–h in First record of the genus Testudobracon Quicke, 1986 (Hymenoptera: Braconidae: Braconinae) in Vietnam, with description of four new species von Mai, Pham Quynh, Long, Khuat Dang, Hiep, Nguyen Duc, Hoa, Dang Thi, Duong, Tran Dinh

Volltext bestellen

FIGURE 1 in First record of the genus Testudobracon Quicke, 1986 (Hymenoptera: Braconidae: Braconinae) in Vietnam, with description of four new species von Mai, Pham Quynh, Long, Khuat Dang, Hiep, Nguyen Duc, Hoa, Dang Thi, Duong, Tran Dinh

Volltext bestellen