@inproceedings{affeldt2018jssst, author = {Reynald Affeldt and David Nowak}, title = {Experimenting with Monadic Equational Reasoning in {Coq}}, booktitle = {the proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), Osaka-fu, Suita-shi, August 29--31, 2018}, year = {2018}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Aug}, organization = {}, publisher = {}, abstract = {14 pages} }
@inproceedings{garrigue2018jssst, author = {Reynald Affeldt and Jacques Garrigue and Xuanrui Qi and Kazunari Tanaka}, title = {Proving tree algorithms for succinct data structures}, booktitle = {the proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), Osaka-fu, Suita-shi, August 29--31, 2018}, year = {2018}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Aug}, organization = {}, publisher = {}, abstract = {13 pages} }
@inproceedings{tanaka2018jssst, author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue}, title = {Extension of a {C} code generator for {Coq} with a linearity checker}, booktitle = {the proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), Osaka-fu, Suita-shi, August 29--31, 2018}, year = {2018}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Aug}, organization = {}, publisher = {}, abstract = {11 pages (in Japanese)} }
@inproceedings{affeldt2016jssst, author = {Reynald Affeldt and Cyril Cohen}, title = {Formal Foundations for Rigid Body Transformation}, booktitle = {the proceedings of the 33rd Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2016.wordpress.com/}{JSSST 2016}), Miyagi-ken, Sendai-shi, September 6--9, 2016}, year = {2016}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {11 pages} }
@inproceedings{affeldt2015ouyou, author = {Reynald Affeldt}, title = {An Intrinsic Encoding of a Subset of {C} and its Application to {TLS} Network Packet Processing}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2015, Kanazawa University, Kakuma campus, September 9-11, 2015}, year = {2015}, editor = {}, volume = {}, number = {}, series = {}, pages = {306--307}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2014tpp, author = {Reynald Affeldt and Jacques Garrigue}, title = {Formalization of Error-correcting Codes using {SSReflect}}, booktitle = {MI Lecture Note Workshop on Theorem proving and provers for reliable theory and implementations (TPP2014), Kyushu University, December 3--5, 2014}, year = {2014}, editor = {}, volume = {61}, number = {}, series = {}, pages = {76--78}, address = {}, month = {Dec}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2013ieice, author = {Reynald Affeldt}, title = {Formalization of {Shannon}'s Theorems Using the {Coq} Proof-Assistant}, booktitle = {proceedings of the 2013 IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Fukuoka Institute of Technology, September 17--20, 2013}, year = {2013}, editor = {}, volume = {}, series = {}, pages = {39--44}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {IEICE, Technical Committee on Information Theory} }
@inproceedings{affeldt2013imi, author = {Reynald Affeldt}, title = {About the Formal Verification of {Shannon}'s Theorems}, booktitle = {COE Lecture Note Kyushu University Institute of Mathematics for Industry, Workshop of the Joint Research Projects: From Modern Coding Theory To Postmodern Coding Theory, Kyushu University, March 4--7, 2013}, year = {2013}, editor = {}, volume = {44}, number = {}, series = {}, pages = {86--94}, address = {}, month = {Mar}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2011ouyou, author = {Reynald Affeldt}, title = {Toward a Library of Verified Arithmetic Functions}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2011, Doshisha University, September 14--16, 2011}, year = {2011}, editor = {}, volume = {}, number = {}, series = {}, pages = {377--378}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2011jssst, author = {Reynald Affeldt and Kiyoshi Yamada}, title = {Formal Verification of {C} Programs for Implementations of Communication Protocols}, booktitle = {the proceedings of the 28th Meeting of the Japan Society for Software Science and Technology (\href{http://jssst11.kuis.kyoto-u.ac.jp/}{JSSST 2011}), Okinawa-ken, Naha-shi, September 26--29, 2011}, year = {2011}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2009ouyou, author = {Reynald Affeldt and David Nowak and Kiyoshi Yamada}, title = {Certifying Assembly with Formal Cryptographic Proofs: the Case of {BBS}}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2009 (\href{http://www.jsiam.org/modules/eguide01/event.php?eid=47}{JSIAM 2009}), Osaka University, September 28--30, 2009}, year = {2009}, editor = {}, volume = {}, number = {}, series = {}, pages = {53--54}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {(in Japanese)} }
@inproceedings{affeldt2008ouyou, author = {Reynald Affeldt and Hubert Comon-Lundh}, title = {Towards Verification with no False Attack of Security Protocols in First-order Logic}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2008 (\href{http://www.jsiam.org/modules/eguide01/event.php?eid=39}{JSIAM 2008}), The University of Tokyo, Kashiwa campus, September 17--19, 2008}, year = {2008}, editor = {}, volume = {}, number = {}, series = {}, pages = {177--178}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2008ouyoub, author = {Reynald Affeldt and Yusuke Kawamoto}, title = {Report on {FCS-ARSPA-WITS}, {CSF}, {FCC}'08---About Automated Verification and Certification}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2008, The University of Tokyo, Kashiwa campus, September 17--19, 2008}, year = {2008}, editor = {}, volume = {}, number = {}, series = {}, pages = {187--188}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{kawamoto2008ouyou, author = {Yusuke Kawamoto and Reynald Affeldt}, title = {Report on {FCS-ARSPA-WITS}, {CSF}, {FCC}'08---About Formalization of Security Properties}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2008, The University of Tokyo, Kashiwa campus, September 17--19, 2008}, year = {2008}, editor = {}, volume = {}, number = {}, series = {}, pages = {185--186}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {(in Japanese)} }
@inproceedings{affeldt2007ouyou, author = {Reynald Affeldt and Miki Tanaka and Nicolas Marti}, title = {Formal Proof of Provable Security by Game-playing in a Proof Assistant}, booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2017 (\href{http://www.jsiam.org/annualmeeting/2007/}{JSIAM 2007}), Hokkaido University, September 15--17, 2007}, year = {2007}, editor = {}, volume = {}, number = {}, series = {}, pages = {44--45}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {(in Japanese)} }
@inproceedings{affeldt2006jssst, author = {Reynald Affeldt and Nicolas Marti}, title = {Formal Verification of Arithmetic Functions in {SmartMIPS} Assembly}, booktitle = {the proceedings of the 23rd Meeting of the Japan Society for Software Science and Technology, The University of Tokyo, Hongo campus, September 13--15, 2006}, year = {2006}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{marti2006jssst, author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa}, title = {Model-checking of a Multi-threaded Operating System}, booktitle = {the proceedings of the 23rd Meeting of the Japan Society for Software Science and Technology, The University of Tokyo, Hongo campus, September 13--15, 2006}, year = {2006}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{marti2005jssst, author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa}, title = {Towards Formal Verification of Memory Properties using Separation Logic}, booktitle = {the proceedings of the 22nd Meeting of the Japan Society for Software Science and Technology, Tohoko University, Aobayama campus, September 13--15, 2005}, year = {2005}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
@inproceedings{affeldt2001jssst, author = {Reynald Affeldt and Hidehiko Masuhara and Eijiro Sumii and Akinori Yonezawa}, title = {Supporting Objects in Run-time Bytecode Specialization}, booktitle = {the proceedings of the 18th Meeting of the Japan Society for Software Science and Technology (\href{http://www.ueda.info.waseda.ac.jp/jssst2001/}{JSSST 2011}), Future University Hakodate, September 18--20, 2001}, year = {2001}, editor = {}, volume = {}, number = {}, series = {}, pages = {}, address = {}, month = {Sep}, organization = {}, publisher = {}, abstract = {} }
This file was generated by bibtex2html 1.99.