Search results for "tamarin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	Wejdene Gongi, Maxence Rube, Hafedh Ben Ouada, Hatem Ben Ouada, Ollivier Tamarin, Corinne Dejous	Elaboration and Characterization of a New Heavy Metal Sensor Functionalized by Extracellular Polymeric Substances Isolated from a Tunisian Thermophilic Microalga Strain Graesiella sp.	Sensors	2023	DBLP DOI BibTeX RDF
41	Asawari Choudhari, Thomas Vignol, Jean-Luc Lachaud, Maxence Rube, Idris Sadli, Martine Sebeloue, Raphaël Delépée, Ollivier Tamarin, Corinne Dejous	MIP Functionalized Love Wave Sensor for Detection of 4-AP Organic Compound in Turbid Solutions.	SENSORS	2023	DBLP DOI BibTeX RDF
41	Asawari Choudhari, Maxence Rube, Idris Sadli, Martine Sebeloue, Ollivier Tamarin, Corinne Dejous	Love wave acoustic sensor response in high turbidity liquid environment.	IEEE SENSORS	2022	DBLP DOI BibTeX RDF
41	Maxence Rube, Ollivier Tamarin, Simon Hemour, Martine Sebeloue, Asawari Choudhari, Idris Sadli, Laurent Linguet, Dominique Rebière, Corinne Dejous	A behavior-descriptive model of Love Wave sensor in liquid medium for circuit-design and analysis with QucsStudio.	IEEE SENSORS	2021	DBLP DOI BibTeX RDF
41	Ollivier Tamarin, Maxence Rube, Jean-Luc Lachaud, Vincent Raimbault, Dominique Rebière, Corinne Dejous	Mobile Acoustic Wave Platform Deployment in the Amazon River: Impact of the Water Sample on the Love Wave Sensor Response.	Sensors	2020	DBLP DOI BibTeX RDF
41	Maxence Rube, Ollivier Tamarin, Martine Sebeloue, Hamida Hallil, Laurent Linguet, Dominique Rebière, Corinne Dejous	A Dual Love wave and Impedance-based Sensor: Response Enrichment.	IEEE SENSORS	2020	DBLP DOI BibTeX RDF
41	Maxence Rube, Corinne Dejous, Ollivier Tamarin, Hamida Hallil, Veronique Conedera, Adrian Laborde, Jean-Luc Lachaud, Martine Sebeloue, Laurent Linguet, Dominique Rebière	Technological process effects on SAW sensors devices characteristics and FEM estimation.	IEEE SENSORS	2019	DBLP DOI BibTeX RDF
41	Hamida Hallil, Maxence Rube, Ollivier Tamarin, Emmanuel Flahaut, Q. Zhang, Jean-Luc Lachaud, Philippe Coquet, Dominique Rebière, C. Deious	Finite Element Modelling and Computational Analysis of Mechanical Properties of Carbon Composite-Based Love Wave Sensor.	IEEE SENSORS	2018	DBLP DOI BibTeX RDF
41	Ollivier Tamarin, W. Ouelhazi, Jean-Luc Lachaud, Hamida Hallil, Vincent Raimbault, C. Boissiere, M. P. Bonnet, Dominique Rebière, Corinne Dejous	Mesoporous titania-coated Love wave sensors and FEM model applied to viscosity micro-measurements.	IEEE SENSORS	2017	DBLP DOI BibTeX RDF
36	Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz	Tracing for web 3.0: trace compilation for the next generation web applications.	VEE	2009	DBLP DOI BibTeX RDF	tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages
30	Sophie Stevens	Formal verification of the post-quantum security properties of IKEv2 PPK (RFC 8784) using the Tamarin Prover.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
30	Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet	Formal Verification of a Post-quantum Signal Protocol with Tamarin.	VECoS	2023	DBLP DOI BibTeX RDF
30	Tristan Claverie, Gildas Avoine, Stéphanie Delaune, José Lopes-Esteves	Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks.	ESORICS (3)	2023	DBLP DOI BibTeX RDF
30	David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse	Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.	IEEE Secur. Priv.	2022	DBLP DOI BibTeX RDF
30	Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers	A tale of two models: formal verification of KEMTLS via Tamarin.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
30	Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein 0002	Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols.	J. Comput. Secur.	2022	DBLP DOI BibTeX RDF
30	Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers	A Tale of Two Models: Formal Verification of KEMTLS via Tamarin.	ESORICS (3)	2022	DBLP DOI BibTeX RDF
30	Singam Bhargav Ram, Vanga Odelu	Security Analysis of a Key Exchange Protocol under Dolev-Yao Threat Model Using Tamarin Prover.	CCWC	2022	DBLP DOI BibTeX RDF
30	Srijanee Mookherji, Vanga Odelu, Rajendra Prasath	Modelling IBE-based Key Exchange Protocol using Tamarin Prover.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
30	Alsita Putri Iriana, Sepha Siswantyo	Formal Analysis of Kang et al.'s Authentication Protocol using Tamarin-Prover.	IWBIS	2021	DBLP DOI BibTeX RDF
30	Misato Nakabayashi, Yuki Okano	Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover.	ASSS@AsiaCCS	2021	DBLP DOI BibTeX RDF
30	Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni	Extended Formal Analysis of the EDHOC Protocol in Tamarin.	ICETE (Selected Papers)	2021	DBLP DOI BibTeX RDF
30	Colin Boyd, Kristian Gjøsteen, Shuang Wu	A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract.	FMBC@CAV	2020	DBLP DOI BibTeX RDF
30	Véronique Cortier, Stéphanie Delaune, Jannik Dreier	Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols.	ESORICS (2)	2020	DBLP DOI BibTeX RDF
30	Abel Nieto	Tamarin: Concolic Disequivalence for MIPS.	CoRR	2018	DBLP BibTeX RDF
30	Houssem Eddine Mohamadi, Nadjia Kara, Mohand Lagha	Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin.	FNSS	2018	DBLP DOI BibTeX RDF
30	Eike Stadtländer, Michael Nüsken	Automatic Security Analysis in the Symbolic Model using Tamarin-Prover.	Krypto-Tag	2018	DBLP DOI BibTeX RDF
30	David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse	Symbolically analyzing security protocols using tamarin.	ACM SIGLOG News	2017	DBLP DOI BibTeX RDF
30	Cas Cremers	Symbolic security analysis using the Tamarin prover.	FMCAD	2017	DBLP DOI BibTeX RDF
30	Simon Meier, Benedikt Schmidt 0002, Cas Cremers, David A. Basin	The TAMARIN Prover for the Symbolic Analysis of Security Protocols.	CAV	2013	DBLP DOI BibTeX RDF
30	Takashi Yamamiya, Yoshiki Ohshima	Tamacola - a meta language kit for the web: a report on creating a self-hosting lisp compiler on the Tamarin VM.	S3	2010	DBLP DOI BibTeX RDF