Xiaojuan LI


Reconstructing AES Key Schedule Images with SAT and MaxSAT
Xiaojuan LIAO Hui ZHANG Miyuki KOSHIMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/01/01
Vol. E99-D  No. 1  pp. 141-150
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
cold boot attackmaximum satisfiabilityadvanced encryption standardkey recovery
 Summary | Full Text:PDF(309.5KB)

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities
Xiaojuan LIAO Miyuki KOSHIMURA Hiroshi FUJITA Ryuzo HASEGAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/07/01
Vol. E97-D  No. 7  pp. 1781-1789
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
coalition structure generationexternalityweighted partial MaxSATcooperative games
 Summary | Full Text:PDF(384.1KB)

Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations
Xiaojuan LIAO Miyuki KOSHIMURA Hiroshi FUJITA Ryuzo HASEGAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/07/01
Vol. E97-D  No. 7  pp. 1812-1821
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
weighted partial MaxSATcoalition structure generationexternalitycooperative games
 Summary | Full Text:PDF(519.6KB)