■工学部_研究紹介_2017_英語版ファイル161220

39/80

地デジOkazaki LabWeconductresearchincryptology.ThecryptologyisoneoftheessentialinfrastructuresthatsupportstheICTsociety.However,itishardtounderstandthecryptologybecausetheitisbasedonvarioustechnicalfieldssuchastheinformationtheory,thecomputationtheoryandmathematics,etc.Ouraimistoprovethesecurityofthecryptosystemsusingthecomputer-aidedformalverificationsystem.Securityproofsforcryptographicsystemsareveryimportant.Theultimateobjectiveofourstudyistoprovethesecurityofcryptographicsystemsusingcomputer-aidedproofcheckingsystems.Wehopeourstudentswillbeengineerswhocanapplytheoriesandknowledgeaftertheygraduate.Hiroyuki OkazakiAssistant ProfessorHe received his Doctor of Engineering from Kyoto Institute of Technology. His research interests include, cryptology, formal verification Formal Verification of CryptosystemsAfter GraduationIn the FutureElectrical& Computer EngineeringPrototypegenerationtool:theWebapp.modelinUnifiedModelingLanguageistransformedintoUserInterfaceprototype.Automatic generationModelSoftwareOgata LabModeling requires an abstraction ability. Enterprises for softwaredevelopment look for engineers with this ability. You can train this ability in our lab.Dr.ShinpeiOgataAssistant Professor since 2012. He received PhD degree in engineering from Shibaura Institute of Technology. His research areas are model-driven engineering and requirements engineering.Model-DrivenEngineeringforEnhancingSoftwareUsabilityOurresearchesfocusonhowtoenhancesoftwareusabilitysystematicallyandefficientlyatanearlystageofsoftwaredevelopment.TheValidationandVerification(V&V)ofsoftwarerequirementsareveryimportant.However,theircostisexpensivebecauseoffrequentmanualinspectionsand/orprototypecreation,etc.Therefore,V&Vactivitysupportattheearlystageisneeded.Wehavechallengedtorealizetoolssuchas“model-basedusabilityevaluationtool”and“prototypegenerationtool”,etc.sothatusabilitycanbeevaluatedefficiently.Variousdevicessuchassensorsand/ortouchdisplay,smartphones,etc.havebeenusedinbusinesswidely.Therefore,theusabilityoftheApplicationsusingvariousdeviceswillbeveryimportantinthefuture.Ourresearchwillcontributetotheefficientconstructionofusablesoftware.After GraduationIn the FutureElectrical& Computer Engineering37

※このページを正しく表示するにはFlashPlayer10.2以上が必要です