66 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

26. Constraint differentiation: a new reduction technique for constraint-based analysis of security protocols

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2003)


Reports

27. A distance hijacking attack on the CRCS distance bounding protocol

Cremers, Cas (2011)


Reports

28. An On-the-fly model-checker for security protocol analysis

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2003)


Reports

29. Scyther: unbounded verification of security protocols

Cremers, C.J.F.


Reports

30. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master Theses

31. Comparing state spaces in automatic security protocol verification

Cremers, Cas and Lafourcade, Pascal


Reports

32. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

33. Approximating and interpolating theories of arithmetic for software verification

Brillout, Angelo (2011)


Doctoral and Habilitation Theses

34. Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

Schweizer, Daniel T. (1997)


Doctoral and Habilitation Theses

35. Symbolic model checking for asynchronous Boolean programs

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)


Reports

36. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Mohammad (2010)


Reports

37. Modular invariants for layered object structures

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2005)


Reports

38. Automatic verification of heap structures with stereotypes

Rudich, Arsenii (2011)


Doctoral and Habilitation Theses

39. Verification of design patterns

Hofer, Simon (2009)


Master Theses

40. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

Basin, David A., Cremers, Cas and Meier, Simon (2012)


Reports

41. Modular verification of global module invariants in object-oriented programs

Leino, K. Rustan M. and Müller, Peter (2004)


Reports

42. Reasoning about Liveness Properties in Event-B

Hoang, Thai Son and Abrial, Jean-Raymond (2011)


Conference Contributions

43. First International Workshop on Property Verification for Software Components and Services, ProVeCS, ETH, Zürich, June 24th, 2007 (Satellite of TOOLS Europe)

Attiogbé, C. (2007)


Reports

44. Specification and verification of closures

Kassios, Ioannis T. and Müller, Peter (2010)


Reports

45. Attack and revision of an electronic auction protocol using OFMC

Ksiezopolski, Bogdan and Lafourcade, Pascal


Reports

46. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

47. Verification condition generation for permission logics with abstract predicates and abstraction functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)


Reports

48. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

Schaller, Patrick, Schmidt, Benedikt, Basin, David A. and Capkun, Srdjan


Reports

49. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

50. Crowdsourcing location information to improve indoor localization

Rogoleva, Luba (2010)


Master Theses