Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box

Source URL: staff.washington.edu

• Health
• Computing
• Medical physics
• Formal methods
• Theoretical computer science
• Therapy
• Information and communications technology
• Radiation therapy
• Z notation
• Computer
• Software

Formal Specication of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky  Michael Patrick Jonathan Unger

Source URL: staff.washington.edu

• Radiobiology
• Radiation therapy
• Radioactivity
• Medical prescription
• Health
• Medicine
• Physics

Board Meeting, May 2nd 2016 Date: Tuesday May 2nd 2016, 21:00 Present: Simon, Michael, Patrick, Raphael, Roman, Stefan (Guest) Open action items - local chapter process - Simon Approved by OSMF, still needs to be formall

Source URL: sosm.ch

Board Meeting, October 24th 2016 Date: Monday October 24th:00 Present: Patrick, Michael, Roman Excused: Simon Open action items - Contact potential donors - Simon

Source URL: sosm.ch

Efficient algorithms for supersingular isogeny Diffie-Hellman Craig Costello Joint work with Patrick Longa and Michael Naehrig Diffie-Hellman key exchange (circa 1976)

Source URL: www.craigcostello.com.au

Board Meeting, June 5th 2016 Date: Sunday June 5th 2016, 21:00 Present: Simon, Michael, Patrick, Raphael Excused: Open action items - Terms of use for the sosm provided services done, but not yet visible website Done, st

Source URL: sosm.ch

Board Meeting, December 8th 2016 Date: Thursday December 8th:00 Present: Michael, Stefan, Simon, Patrick, Raphael, Roman Excused: Open action items - Contact potential donors - Simon

Source URL: sosm.ch

Efficient algorithms for supersingular isogeny Diffie-Hellman Craig Costello, Patrick Longa, and Michael Naehrig Microsoft Research, USA Abstract. We propose a new suite of algorithms that significantly improve the perf

Source URL: eprint.iacr.org

Board Meeting, March 20th 2017 Date: Monday, March 20th:00 Present: Roman, Patrick, Michael, Raphael, Simon, Stefan Excused: Open action items - Contact potential donors - Simon No progress

Source URL: sosm.ch

Efficient compression of SIDH public keys Craig Costello1 , David Jao2? , Patrick Longa1 , Michael Naehrig1 , Joost Renes3?? , and David Urbanik2? 1 2

Source URL: www.cs.ru.nl