工学部 研究紹介_2018_英語版

40/84

地デジ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 Engineering38